search

Twigonometry / IsabelleDSL

IsabelleDSL (iDSL) is a framework for generating Domain-Specific Languages from specifications written in Isabelle
0 stars 0 forks source link

Auto test test_string also needs converting to Haskell syntax #33

Open Twigonometry opened 2 years ago

Twigonometry commented 2 years ago

As in #23 the --test_string parameter is currently in the translated Haskell syntax, which is hard to guess. It should be in Isabelle and converted in a similar way. However we can't just translate the prefix (e.g. eval (St (Int_of_integer 0))) as on its own it's not a valid session etc