search

favu100 / b2program

READ-ONLY MIRROR of https://gitlab.cs.uni-duesseldorf.de/general/stups/b2program; DO NOT PUSH
5 stars 3 forks source link

Assign constant via elementOf in PROPERTIES #51

Open favu100 opened 1 year ago

favu100 commented 1 year ago

This should be support when there is a singleton set on the right-hand side which stores a constant value