Add new tests to 'simple' and 'misc' groups
Testing problems: 1. "sat -tempinduct_def": +#ERROR: Assert `!undef_mode || model_undef' failed in ./kernel/satgen.h:90. 2. "share -force": +#ERROR: Abort in passes/opt/share.cc:724.
Showing
misc/check/top.v
0 → 100644
misc/design/top.v
0 → 100644
misc/rmports/top.v
0 → 100644
misc/scripts/check.ys
0 → 100644
misc/scripts/check_assert.ys
0 → 100644
misc/scripts/check_initdrv.ys
0 → 100644
misc/scripts/check_noinit.ys
0 → 100644
misc/scripts/design_as.ys
0 → 100644
misc/scripts/design_copy_from.ys
0 → 100644
misc/scripts/design_copy_to.ys
0 → 100644
misc/scripts/design_import.ys
0 → 100644
misc/scripts/log.ys
0 → 100644
misc/scripts/log_n.ys
0 → 100644
misc/scripts/log_nolog.ys
0 → 100644
misc/scripts/log_stderr.ys
0 → 100644
misc/scripts/log_stdout.ys
0 → 100644
misc/scripts/rmports.ys
0 → 100644
misc/scripts/sat.ys
0 → 100644
misc/scripts/sat_all.ys
0 → 100644
misc/scripts/sat_enable_undef.ys
0 → 100644
misc/scripts/sat_falsify.ys
0 → 100644
misc/scripts/sat_falsify_no_timeout.ys
0 → 100644
misc/scripts/sat_ignore_div_by_zero.ys
0 → 100644
misc/scripts/sat_ignore_unknown_cells.ys
0 → 100644
misc/scripts/sat_max_undef.ys
0 → 100644
misc/scripts/sat_prove.ys
0 → 100644
misc/scripts/sat_prove_asserts.ys
0 → 100644
misc/scripts/sat_prove_skip.ys
0 → 100644
misc/scripts/sat_seq.ys
0 → 100644
misc/scripts/sat_set_assumes.ys
0 → 100644
misc/scripts/sat_set_at.ys
0 → 100644
misc/scripts/sat_set_def_inputs.ys
0 → 100644
misc/scripts/sat_set_init_def.ys
0 → 100644
misc/scripts/sat_set_init_undef.ys
0 → 100644
misc/scripts/sat_set_init_zero.ys
0 → 100644
misc/scripts/sat_show_all.ys
0 → 100644
misc/scripts/sat_show_inputs.ys
0 → 100644
misc/scripts/sat_show_outputs.ys
0 → 100644
misc/scripts/sat_show_ports.ys
0 → 100644
misc/scripts/sat_show_public.ys
0 → 100644
misc/scripts/sat_show_regs.ys
0 → 100644
misc/scripts/sat_tempinduct.ys
0 → 100644
misc/scripts/sat_tempinduct_baseonly.ys
0 → 100644
misc/scripts/sat_tempinduct_def.ys
0 → 100644
misc/scripts/sat_tempinduct_inductonly.ys
0 → 100644
misc/scripts/sat_timeout.ys
0 → 100644
misc/scripts/sat_verify.ys
0 → 100644
misc/scripts/sat_verify_no_timeout.ys
0 → 100644
misc/scripts/supercover.ys
0 → 100644
misc/scripts/tee.ys
0 → 100644
misc/supercover/top.v
0 → 100644
misc/tee/top.v
0 → 100644
simple/expose/testbench.v
0 → 100644
simple/expose/top.v
0 → 100644
simple/expose_dff/testbench.v
0 → 100644
simple/expose_dff/top.v
0 → 100644
simple/fsm_command/testbench.v
0 → 100644
simple/fsm_command/top.v
0 → 100644
simple/fsm_expand/testbench.v
0 → 100644
simple/fsm_expand/top.v
0 → 100644
simple/fsm_export/testbench.v
0 → 100644
simple/fsm_export/top.v
0 → 100644
simple/fsm_recode/testbench.v
0 → 100644
simple/fsm_recode/top.v
0 → 100644
simple/opt_demorgan/testbench.v
0 → 100644
simple/opt_demorgan/top.v
0 → 100644
simple/opt_demorgan_reduce/testbench.v
0 → 100644
simple/opt_demorgan_reduce/top.v
0 → 100644
simple/scripts/expose_cut.ys
0 → 100644
simple/scripts/expose_dff.ys
0 → 100644
simple/scripts/expose_evert.ys
0 → 100644
simple/scripts/expose_evert_dff.ys
0 → 100644
simple/scripts/expose_evert_dff_shared.ys
0 → 100644
simple/scripts/expose_evert_shared.ys
0 → 100644
simple/scripts/expose_input.ys
0 → 100644
simple/scripts/expose_sep.ys
0 → 100644
simple/scripts/expose_shared.ys
0 → 100644
simple/scripts/fsm_command.ys
0 → 100644
simple/scripts/fsm_command_expand.ys
0 → 100644
simple/scripts/fsm_command_export.ys
0 → 100644
simple/scripts/fsm_encfile.ys
0 → 100644
simple/scripts/fsm_encoding_auto.ys
0 → 100644
simple/scripts/fsm_encoding_binary.ys
0 → 100644
simple/scripts/fsm_encoding_none.ys
0 → 100644
simple/scripts/fsm_encoding_one-hot.ys
0 → 100644
simple/scripts/fsm_encoding_unknown.ys
0 → 100644
simple/scripts/fsm_encoding_user.ys
0 → 100644
simple/scripts/fsm_expand.ys
0 → 100644
simple/scripts/fsm_expand_all.ys
0 → 100644
simple/scripts/fsm_expand_full.ys
0 → 100644
simple/scripts/fsm_export.ys
0 → 100644
simple/scripts/fsm_export_noauto.ys
0 → 100644
simple/scripts/fsm_export_o.ys
0 → 100644
simple/scripts/fsm_export_origenc.ys
0 → 100644
simple/scripts/fsm_fm_set_fsm_file.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/fsm_fullexpand.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/fsm_map_binary_encoding.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/fsm_nodetect.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/fsm_nomap.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/fsm_norecode.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/fsm_recode.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/fsm_recode_all_opt.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/fsm_recode_encfile.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/fsm_recode_encoding_binary.ys
0 → 100644
This diff is collapsed.
Click to expand it.
This diff is collapsed.
Click to expand it.
This diff is collapsed.
Click to expand it.
simple/scripts/fsm_recode_fm_set_fsm_file.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/opt_demorgan.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/share.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/share_aggressive.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/share_fast.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/share_force.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/share_limit.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/tribuf.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/tribuf_logic_top.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/tribuf_merge_logic_top.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/tribuf_merge_top.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/scripts/tribuf_top.ys
0 → 100644
This diff is collapsed.
Click to expand it.
simple/share/testbench.v
0 → 100644
This diff is collapsed.
Click to expand it.
simple/share/top.v
0 → 100644
This diff is collapsed.
Click to expand it.
simple/share_fsm/testbench.v
0 → 100644
This diff is collapsed.
Click to expand it.
simple/share_fsm/top.v
0 → 100644
This diff is collapsed.
Click to expand it.
simple/tribuf/testbench.v
0 → 100644
This diff is collapsed.
Click to expand it.
simple/tribuf/top.v
0 → 100644
This diff is collapsed.
Click to expand it.
Please
register
or
sign in
to comment