/data/property/

• ../
• cnes
• combinational_processes.pp
• combinational_processes.pro
• impossible_processes.pp
• impossible_processes.pro
• incrementer.pp
• incrementer.pro
• likely_a_clock.pp
• likely_a_clock.pro
• simple_flip_flop.pp
• simple_flip_flop.pro
• test-case