Skip to content
Snippets Groups Projects
Commit cda53d79 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'master' into 'master' 

Changed ghost location from location to prophecy variable

See merge request !24
parents c59dbc70 3f290bac
No related branches found
No related tags found
1 merge request!24Changed ghost location from location to prophecy variable
Pipeline #18275 passed
Expand all Hide whitespace changes
Inline Side-by-side
theories/logatom/rdcss/rdcss.v
+ 136
− 128
View file @ cda53d79
This diff is collapsed.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment