This should be done after https://github.com/NASA-AMMOS/aerie/issues/706 is complete, since #706 will flesh out the design as to how we will represent special values (i.e. locals, parameters) in the EDSL. Please see that issue first for a full explanation about what is going on here.
Users need to be able to specify global strings and output them as symbols in Seq JSON. Here is one proposal:
This should be done after https://github.com/NASA-AMMOS/aerie/issues/706 is complete, since #706 will flesh out the design as to how we will represent special values (i.e. locals, parameters) in the EDSL. Please see that issue first for a full explanation about what is going on here.
Users need to be able to specify global strings and output them as symbols in Seq JSON. Here is one proposal:
The corresponding
.seq.json
: