Closed MattWindsor91 closed 5 years ago
Trying to run the litmusifier after pushing through simulator generalisations has broken it in weird and wonderful ways:
$ dune exec act -- litmusify -compiler 'local.clang.x86.O3' bleh.litmus act encountered a top-level error: ⏎
An empty error message can't be cryptic, right?
I'll need to do some digging to work out what I broke—it's really not obvious from this error message!
Trying to run the litmusifier after pushing through simulator generalisations has broken it in weird and wonderful ways:
An empty error message can't be cryptic, right?
I'll need to do some digging to work out what I broke—it's really not obvious from this error message!