From 729b710d5c2443f29af278e051397b10818eafac Mon Sep 17 00:00:00 2001 From: Per Lindgren <per.lindgren@ltu.se> Date: Fri, 18 Jan 2019 22:56:47 +0100 Subject: [PATCH] eq implemented and tested --- examples/equivalence.rs | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/examples/equivalence.rs b/examples/equivalence.rs index 7fa95cf..affc1cc 100644 --- a/examples/equivalence.rs +++ b/examples/equivalence.rs @@ -1,8 +1,6 @@ -//! The RTFM framework -//! -//! What it covers: -//! - Priority based scheduling -//! - Message passing +//! Implementiation of the "Equivalence" safety function +//! According to the PLCOpen standard +//! #![no_main] #![no_std] -- GitLab