/data/property/
../
cnes
combinational_processes.pro
impossible_processes.pro
incrementer.pro
likely_a_clock.pro
simple_flip_flop.pro
test-case