Changes between Version 8 and Version 9 of CIVL-C


Ignore:
Timestamp:
05/12/23 06:26:03 (3 years ago)
Author:
Alex Wilton
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CIVL-C

    v8 v9  
    88  * Which statements executed and the number of times they were. Perhaps color code the statements.
    99* CIVL must be concurrent
     10  * Care should be taken to maintain "debug-ability." In particular, objects which get assigned some sort of ID determined by simply incrementing an integer should be instead assigned a more specific ID (when possible) that won't change between different executions of the same CIVL command. That way we can reliably set breakpoints in our code based on these IDs.
    1011* CIVL debugger
    1112  * Able to manually step through code choosing which transitions to take.