Changes between Version 11 and Version 12 of CIVL-C

Timestamp:

05/23/23 09:15:29 (3 years ago)

Author:

Alex Wilton

Comment:

--

CIVL-C

@@ -29 +29 @@
   * File can be "filtered" to only show states and transitions which reach (or are reachable from) some set of states.
   * Would either be implemented as a GUI for viewing and filtering these files or as a command line tool which takes as input a results file and parameters specifying how to filter the space, and then prints the filtered results.
+* Be able to obtain the return value of a function when `$spawn`ing it. Currently the return value is ignored if you spawned a process on a function. But maybe we can pass a variable to `$spawn` that gets filled out with the return value when the process terminates. Then we can access this variable when we know that the process has terminated (i.e. after we `$wait` on the process).