A framework based on Best-First Generalized Planning where solutions are either assembly-like programs, or structured programs that are syntactically terminating.
GNU General Public License v3.0
3
stars
3
forks
source link
Theory:Assembler segmentation fault in blocks ontable synthesis #4
The command:
./main.bin -m synthesis -t assembler -l 13 -f domains/aij23/synthesis/blocks_ontable/ -e ed mri -s 1 -pgp True
produces a segmentation fault after reevaluating the fourth instance.