I met fuzz error. The part of the fuzz.log is as follow:
[2023-02-14 10:14:45,357][dtest][INFO] - Loading topset from /root/.cache/nnsmith/ONNXModel_tvm_llvm -keys=cpu .yaml.
[2023-02-14 10:14:45,357][dtest][INFO] - To regenerate the topset, delete the cache file and restart.
[2023-02-14 10:14:45,358][dtest][INFO] - rm /root/.cache/nnsmith/ONNXModel_tvm_llvm -keys=cpu .yaml
[2023-02-14 10:14:45,359][fuzz][INFO] - Test success info supressed -- only showing logs for failed tests
[2023-02-14 10:14:45,360][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,360][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,361][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=3943882080 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,361][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,361][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,361][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=627982728 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,362][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,362][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,362][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=2470370689 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,362][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,362][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,363][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=2671980766 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,363][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,363][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,363][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=3215383915 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,364][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,364][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,364][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=1079210586 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,364][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,364][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,365][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=1807477749 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,365][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,365][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,365][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=3642741048 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,366][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,366][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,366][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=3396546204 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,366][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,367][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,367][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=395719398 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,367][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,367][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,367][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=3371485272 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,368][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,368][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,368][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=3200508025 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,368][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,369][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty
[2023-02-14 10:14:45,369][fuzz][ERROR] - repro with: nnsmith.model_gen mgen.seed=759925757 mgen.max_nodes=100 model.type=onnx backend.target=cpu
[2023-02-14 10:14:45,369][fuzz][ERROR] - `make_testcase` failed. It could be a NNSmith bug or Generator bug (e.g., onnx).
[2023-02-14 10:14:45,369][fuzz][ERROR] - Traceback (most recent call last):
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 178, in run
testcase = self.make_testcase(seed)
File "/usr/local/lib/python3.8/site-packages/nnsmith/cli/fuzz.py", line 136, in make_testcase
gen = random_model_gen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 1069, in random_model_gen
gen = PureSymbolGen(
File "/usr/local/lib/python3.8/site-packages/nnsmith/graph_gen.py", line 96, in __init__
assert len(opset) > 0, "opset must not be empty"
AssertionError: opset must not be empty