CinRC / IRDC-CCSK

Java implementation of distributed reversible computation verification
https://spots.augusta.edu/caubert/cinrc/
GNU General Public License v3.0
4 stars 2 forks source link

Complement of a label? #10

Closed aubertc closed 2 years ago

aubertc commented 2 years ago

What is the syntax to indicate the complement of an action, i.e. "out a"?

I thought it was 'a, but I get an error:

java -jar RCCS-1.0-SNAPSHOT.jar "a.P | 'a.Q" 
Create a.P
Walking... Memory: a
Walking... Memory: a.
Adding a. to prefixes
Walking... Memory: P
Create Q
Walking... Memory: Q
Exception in thread "main" java.lang.NullPointerException: Cannot invoke "me.gmx.process.process.Process.origin()" because "o" is null
        at me.gmx.process.ProcessTemplate.prettyString(ProcessTemplate.java:67)
        at me.gmx.RCCS.main(RCCS.java:37)
peterbro1 commented 2 years ago

Fixed