Commit 412cb52b authored by POLLIEN Baptiste's avatar POLLIEN Baptiste
Browse files

Renaming file and minor change

parent a2251f09
......@@ -29,7 +29,7 @@ Set Implicit Arguments.
Module Type EVAL_ENV.
Parameter eval: time -> cond -> (bool * time).
Axiom next_time: forall t c b t', eval t c = (b, t') -> t' = t + 1.
Parameter next_time: forall t c b t', eval t c = (b, t') -> t' > t.
End EVAL_ENV.
(** Definition of the environments that will be used by the semantics *)
......
/* This file has been generated by gen_flight_plan from tests/regression-tests/full_examples.xml */
/* This file has been generated by gen_flight_plan from tests/regression-tests/full_example.xml */
/* Version v6.0_unstable-none--dirty */
/* Please DO NOT EDIT */
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment