Closed hmedina closed 1 year ago
In the following example, %mod: [true] do $SNAPSHOT "snap".[E].".ka" ; %mod: [true] do $SNAPSHOT "snap"."[E]".".ka" ; both lines are translated the same way in json.
It is important to distinguish macro, from raw strings.
I have added a term constructor to distinguish algebraic constructor from regular strings.
@hmedina I have committed a tentative fix in the branch distinguish_algexpr_in_json. Could you check that it is answering your concern ? If so, I will merge in the main branch.
I didn't see a way of building a Windows executable KappApp, so I tested against building site/index.html
, and ./_build/install/default/bin/WebSim
, and the snapshots are named as expected.
Using [E]
uses the simulator's event number, [T]
the simulator's time, [Tsim]
the host's time spent, and [E-]
the number of null events; where appropriate, files got _n
suffixes to prevent name clashes, as is expected.
Using the toy example:
KaSimInBrowser names snapshots like
snap_[E].ka
,snap_[E]_1.ka
, whereas KaSimInCommandLine names snapshots likesnap_0.ka
,snap_1.ka
, properly using the[E]
symbol for event number.