Skip to content

Update flex goal files for Fjalar's tracing of register parameters #900

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
mernst wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Update flex goal files for Fjalar's tracing of register parameters #900

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
6e161d6
Update flex goal files for Fjalar's tracing of register parameters
mernst Oct 11, 2026
52b392b
Merge codespecs/daikon master into register-params
mernst Oct 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
32 changes: 12 additions & 20 deletions tests/kvasir-tests/flex-pristine/flex-pristine.comp.goal-Rocky
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -673,7 +673,7 @@
..addsym():::ENTER
::C_plus_plus ::backing_up_report ::ddebug ::fulltbl ::lex_compat
::NUL_ec
::accptnum ::accsiz ::action_array ::assoc_rule ::base ::ccllen ::cclmap ::cclng ::chk ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::default_rule ::dfaacc ::dfaeql ::dfasiz ::dhash ::dss ::ecgroup[..] ::eps2 ::finalst ::firstprot ::firstst ::hshcol ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::numprots ::numsnpairs ::nxt ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::sceof ::scname ::scname[..] ::scset ::scxclu ::state_type ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::totnst ::trans1 ::trans2 ::transchar ::yylval int_def str_def table[..]->int_val table[..]->next[0] table[..]->str_val
::accptnum ::accsiz ::action_array ::assoc_rule ::base ::ccllen ::cclmap ::cclng ::chk ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::default_rule ::dfaacc ::dfaeql ::dfasiz ::dhash ::dss ::ecgroup[..] ::eps2 ::finalst ::firstprot ::firstst ::hshcol ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::numprots ::numsnpairs ::nxt ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::sceof ::scname ::scname[..] ::scset ::scxclu ::state_type ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::totnst ::trans1 ::trans2 ::transchar ::yylval int_def sym table table[..]->int_val table[..]->name table_size
::accptnum[..]
::accsiz[..]
::action_index ::action_offset ::action_size ::defs1_offset ::prolog_offset ::yyin
Expand Down Expand Up @@ -797,11 +797,10 @@
::yyout
::yyout[..]
::yytext
sym
table
str_def
table[..]
table[..]->name
table[..]->next
table[..]->next[0]
table[..]->prev
table[..]->prev->int_val
table[..]->prev->name
Expand All @@ -818,13 +817,13 @@ table[..]->prev->prev->str_val
table[..]->prev->prev[0]
table[..]->prev->str_val
table[..]->prev[0]
table[..]->str_val
table[..][0]
table_size

..addsym():::EXIT0
::C_plus_plus ::backing_up_report ::ddebug ::fulltbl ::lex_compat
::NUL_ec
::accptnum ::accsiz ::action_array ::assoc_rule ::base ::ccllen ::cclmap ::cclng ::chk ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::default_rule ::dfaacc ::dfaeql ::dfasiz ::dhash ::dss ::ecgroup[..] ::eps2 ::finalst ::firstprot ::firstst ::hshcol ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::numprots ::numsnpairs ::nxt ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::sceof ::scname ::scname[..] ::scset ::scxclu ::state_type ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::totnst ::trans1 ::trans2 ::transchar ::yylval int_def str_def table[..]->int_val table[..]->next[0] table[..]->str_val
::accptnum ::accsiz ::action_array ::assoc_rule ::base ::ccllen ::cclmap ::cclng ::chk ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::default_rule ::dfaacc ::dfaeql ::dfasiz ::dhash ::dss ::ecgroup[..] ::eps2 ::finalst ::firstprot ::firstst ::hshcol ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::numprots ::numsnpairs ::nxt ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::sceof ::scname ::scname[..] ::scset ::scxclu ::state_type ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::totnst ::trans1 ::trans2 ::transchar ::yylval int_def sym table table[..]->int_val table[..]->name table_size
::accptnum[..]
::accsiz[..]
::action_index ::action_offset ::action_size ::defs1_offset ::prolog_offset ::yyin
Expand Down Expand Up @@ -949,11 +948,10 @@ table_size
::yyout[..]
::yytext
return
sym
table
str_def
table[..]
table[..]->name
table[..]->next
table[..]->next[0]
table[..]->prev
table[..]->prev->int_val
table[..]->prev->name
Expand All @@ -970,8 +968,8 @@ table[..]->prev->prev->str_val
table[..]->prev->prev[0]
table[..]->prev->str_val
table[..]->prev[0]
table[..]->str_val
table[..][0]
table_size

..all_lower():::ENTER
::C_plus_plus
Expand Down Expand Up @@ -7016,7 +7014,7 @@ return
..copy_string():::EXIT0
::C_plus_plus ::backing_up_report ::ddebug ::fulltbl ::lex_compat
::NUL_ec
::accptnum ::accsiz ::action_array ::assoc_rule ::base ::ccllen ::cclmap ::cclng ::chk ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::default_rule ::dfaacc ::dfaeql ::dfasiz ::dhash ::dss ::ecgroup[..] ::eps2 ::finalst ::firstprot ::firstst ::hshcol ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::numprots ::numsnpairs ::nxt ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::sceof ::scname ::scset ::scxclu ::state_type ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::totnst ::trans1 ::trans2 ::transchar ::yylval str
::accptnum ::accsiz ::action_array ::assoc_rule ::base ::ccllen ::cclmap ::cclng ::chk ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::default_rule ::dfaacc ::dfaeql ::dfasiz ::dhash ::dss ::ecgroup[..] ::eps2 ::finalst ::firstprot ::firstst ::hshcol ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::numprots ::numsnpairs ::nxt ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::sceof ::scname ::scset ::scxclu ::state_type ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::totnst ::trans1 ::trans2 ::transchar ::yylval return str
::accptnum[..]
::accsiz[..]
::action_index ::action_offset ::action_size ::defs1_offset ::prolog_offset ::yyin
Expand Down Expand Up @@ -7141,7 +7139,6 @@ return
::yyout
::yyout[..]
::yytext
return

..copy_unsigned_string():::ENTER
::C_plus_plus
Expand Down Expand Up @@ -20550,7 +20547,7 @@ worry_about_NULs
..hashfunct():::EXIT0
::C_plus_plus ::backing_up_report ::ddebug ::fulltbl ::lex_compat
::NUL_ec
::accptnum ::accsiz ::action_array ::assoc_rule ::base ::ccllen ::cclmap ::cclng ::chk ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::default_rule ::dfaacc ::dfaeql ::dfasiz ::dhash ::dss ::ecgroup[..] ::eps2 ::finalst ::firstprot ::firstst ::hshcol ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::numprots ::numsnpairs ::nxt ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::sceof ::scname ::scname[..] ::scset ::scxclu ::state_type ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::totnst ::trans1 ::trans2 ::transchar ::yylval hash_size str
::accptnum ::accsiz ::action_array ::assoc_rule ::base ::ccllen ::cclmap ::cclng ::chk ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::default_rule ::dfaacc ::dfaeql ::dfasiz ::dhash ::dss ::ecgroup[..] ::eps2 ::finalst ::firstprot ::firstst ::hshcol ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::numprots ::numsnpairs ::nxt ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::sceof ::scname ::scname[..] ::scset ::scxclu ::state_type ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::totnst ::trans1 ::trans2 ::transchar ::yylval hash_size return str
::accptnum[..]
::accsiz[..]
::action_index ::action_offset ::action_size ::defs1_offset ::prolog_offset ::yyin
Expand Down Expand Up @@ -20674,7 +20671,6 @@ worry_about_NULs
::yyout
::yyout[..]
::yytext
return

..htoi():::ENTER
::C_plus_plus
Expand Down Expand Up @@ -28785,7 +28781,7 @@ state

..mkentry():::ENTER
::C_plus_plus ::backing_up_report ::ddebug ::fulltbl ::lex_compat
::NUL_ec ::accptnum ::accptnum[..] ::accsiz ::action_array ::assoc_rule ::assoc_rule[..] ::base ::base[..] ::ccllen ::cclmap ::cclng ::chk ::chk[..] ::csize ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::def[..] ::default_rule ::dfaacc ::dfaacc[..].dfaacc_state ::dfaeql ::dfasiz ::dfasiz[..] ::dhash ::dhash[..] ::dss ::dss[..] ::ecgroup[..] ::end_of_buffer_state ::eps2 ::finalst ::finalst[..] ::firstfree ::firstprot ::firstst ::firstst[..] ::hshcol ::i ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::lastst[..] ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::nummecs ::numprots ::numsnpairs ::numtemps ::nxt ::nxt[..] ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::pat ::peakpairs ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::scbol[..] ::sceof ::scname ::scname[..] ::scon_stk_ptr ::scset ::scset[..] ::scxclu ::state_type ::tblend ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::tnxt[..] ::totnst ::trans1 ::trans1[..] ::trans2 ::trans2[..] ::transchar ::transchar[..] ::yylval numchars state state[..] statenum
::NUL_ec ::accptnum ::accptnum[..] ::accsiz ::action_array ::assoc_rule ::assoc_rule[..] ::base ::base[..] ::ccllen ::cclmap ::cclng ::chk ::chk[..] ::csize ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::def[..] ::default_rule ::dfaacc ::dfaacc[..].dfaacc_state ::dfaeql ::dfasiz ::dfasiz[..] ::dhash ::dhash[..] ::dss ::dss[..] ::ecgroup[..] ::end_of_buffer_state ::eps2 ::finalst ::finalst[..] ::firstfree ::firstprot ::firstst ::firstst[..] ::hshcol ::i ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::lastst[..] ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::nummecs ::numprots ::numsnpairs ::numtemps ::nxt ::nxt[..] ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::pat ::peakpairs ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::scbol[..] ::sceof ::scname ::scname[..] ::scon_stk_ptr ::scset ::scset[..] ::scxclu ::state_type ::tblend ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::tnxt[..] ::totnst ::trans1 ::trans1[..] ::trans2 ::trans2[..] ::transchar ::transchar[..] ::yylval deflink numchars state state[..] statenum totaltrans
::accsiz[..]
::action_index ::action_offset ::action_size ::defs1_offset ::prolog_offset ::yyin ::yyleng ::yyout
::anyccl
Expand Down Expand Up @@ -28874,12 +28870,10 @@ state
::yynerrs
::yyout[..]
::yytext
deflink
totaltrans

..mkentry():::EXIT0
::C_plus_plus ::backing_up_report ::ddebug ::fulltbl ::lex_compat
::NUL_ec ::accptnum ::accptnum[..] ::accsiz ::action_array ::assoc_rule ::assoc_rule[..] ::base ::base[..] ::ccllen ::cclmap ::cclng ::chk ::chk[..] ::csize ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::def[..] ::default_rule ::dfaacc ::dfaacc[..].dfaacc_state ::dfaeql ::dfasiz ::dfasiz[..] ::dhash ::dhash[..] ::dss ::dss[..] ::ecgroup[..] ::end_of_buffer_state ::eps2 ::finalst ::finalst[..] ::firstfree ::firstprot ::firstst ::firstst[..] ::hshcol ::i ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::lastst[..] ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::nummecs ::numprots ::numsnpairs ::numtemps ::nxt ::nxt[..] ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::pat ::peakpairs ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::scbol[..] ::sceof ::scname ::scname[..] ::scon_stk_ptr ::scset ::scset[..] ::scxclu ::state_type ::tblend ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::tnxt[..] ::totnst ::trans1 ::trans1[..] ::trans2 ::trans2[..] ::transchar ::transchar[..] ::yylval numchars state state[..] statenum
::NUL_ec ::accptnum ::accptnum[..] ::accsiz ::action_array ::assoc_rule ::assoc_rule[..] ::base ::base[..] ::ccllen ::cclmap ::cclng ::chk ::chk[..] ::csize ::current_max_dfa_size ::current_max_dfas ::current_max_rules ::current_max_scs ::current_max_template_xpairs ::current_max_xpairs ::current_maxccls ::current_mns ::def ::def[..] ::default_rule ::dfaacc ::dfaacc[..].dfaacc_state ::dfaeql ::dfasiz ::dfasiz[..] ::dhash ::dhash[..] ::dss ::dss[..] ::ecgroup[..] ::end_of_buffer_state ::eps2 ::finalst ::finalst[..] ::firstfree ::firstprot ::firstst ::firstst[..] ::hshcol ::i ::infilename ::input_files[..] ::lastccl ::lastdfa ::lastnfa ::lastprot ::lastsc ::lastst ::lastst[..] ::nextecm[..] ::num_backing_up ::num_eof_rules ::num_reallocs ::num_rules ::numas ::numecs ::numeps ::nummecs ::numprots ::numsnpairs ::numtemps ::nxt ::nxt[..] ::onedef[..] ::onenext[..] ::onesp ::onestate[..] ::onesym[..] ::pat ::peakpairs ::protcomst[..] ::protnext[..] ::protprev[..] ::protsave[..] ::prottbl[..] ::rule_linenum ::rule_type ::rule_useful ::scbol ::scbol[..] ::sceof ::scname ::scname[..] ::scon_stk_ptr ::scset ::scset[..] ::scxclu ::state_type ::tblend ::tecbck[..] ::tecfwd[..] ::tmpuses ::tnxt ::tnxt[..] ::totnst ::trans1 ::trans1[..] ::trans2 ::trans2[..] ::transchar ::transchar[..] ::yylval deflink numchars state state[..] statenum totaltrans
::accsiz[..]
::action_index ::action_offset ::action_size ::defs1_offset ::prolog_offset ::yyin ::yyleng ::yyout
::anyccl
Expand Down Expand Up @@ -28968,8 +28962,6 @@ totaltrans
::yynerrs
::yyout[..]
::yytext
deflink
totaltrans

..mkopt():::ENTER
::C_plus_plus
Expand Down
Loading
Loading