Skip to content
Commit ab8f83f4 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+added basic support for verdict assignments 


*refined handling of enums

Change-Id: I98757b76702731287e6c04114c7851b86071e62e
Signed-off-by: default avatarmakedonski <makedonski@informatik.uni-goettingen.de>
parent 716bca6b
Hide whitespace changes
Inline Side-by-side
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