jgraley / inferno-cpp2v

2 stars 0 forks source link

NestedAgents and LabelVarsToEnum #679

Open jgraley opened 1 year ago

jgraley commented 1 year ago

Both unused. There is wrong-looking code in NestedAgent::RunTeleportQuery().

Probably drop LabelVarsToEnum. But the NestedAgents could gain their own minimal test step because they're a nice example of a fairly specialist custom agent. Move to new source file named eg example_agents and leave in steps/ (still not part of VN). Fix wrong-looking code.

See if can drive coverage of non-trivial zones in domain extension (see #677)

jgraley commented 2 weeks ago

related #651