hifrog

Cannot repeat it, gets "Testclaim not found."

Can you please give more instructions how to reproduce it?
Thanks! ========================================
karinek@karinek-VirtualBox:~/workspace/tools/hifrog_lra_lattice/hifrog/trunk/cprover/regression/hifrog/benchmarks$ ./../../../src/funfrog/hifrog --theoref --no-itp --bitwidth 32 --heuristic 4 tcas_asrt.c --claim alt_sep_test.assertion.1

• USING INTERPOLATION AND SUMMARIES (DPRODUCE_PROOF is on) ***

Loading `tcas_asrt.c' ...
Parsing tcas_asrt.c
file <command-line> line 0: <command-line>:0:0: warning: "__STDC_VERSION__" redefined
<built-in>: note: this is the location of the previous definition
Converting
Type-checking tcas_asrt
file tcas_asrt.c line 50 function initialize: function `assert' is not declared
file tcas_asrt.c line 156 function Non_Crossing_Biased_Climb: function `Own_Below_Threat' is not declared
file tcas_asrt.c line 160 function Non_Crossing_Biased_Climb: function `Own_Above_Threat' is not declared
file tcas_asrt.c line 317 function main: function `exit' is not declared
file tcas_asrt.c line 320 function main: function `atoi' is not declared
Generating GOTO Program
Ignoring CPROVER library
Removal of function pointers and virtual functions
Partial Inlining
Generic Property Instrumentation
LOAD Time: 0.296 sec.
Checking claims in program...(162)
Testclaim not found.
karinek@karinek-VirtualBox:~/workspace/tools/hifrog_lra_lattice/hifrog/trunk/cprover/regression/hifrog/benchmarks$ ./../../../src/funfrog/hifrog --theoref --no-itp --bitwidth 32 --heuristic 4 tcas_asrt.c --claim alt_sep_test.assertion.1