nnsmith

nnsmith copied to clipboard

Instruction of TVM COV

1

Hi, Jiawei @ganler . I'm sorry to bother you due to your busy schedule. I have some difficulty in collecting `branch coverage of TVM`. I followed your instructions for [Torch...

shaoyuyoung

Help Wanted - How does one generate minimum code examples from NNSmith bug reports

1

Hi, apologies for this issue, I am working with NNSmith (and Neuri) and have several generated bug reports from fuzzing. However, when looking at bug reports developed as a result...

talha-ahsan

[Help Wanted] Problems encountered when converting the onnx model to tvm.relay

3

Excuse me. I encountered a series of errors while converting the onnx model generated by nnsmith to tvm.relay. I would like to ask if this is a bug caused by...

Zeus1116

[Help Wanted] How to only generate sequential models

2

Hello, sorry for disturbing you. I am currently testing a machine learning compiler that only accepts sequential models. I would like to know if there is a straightforward method to...

winnylyc

🐛 [BUG] - <An error occurred when loading the onnx model generated by nnsmith using tvm.delay.>

1

### Description I encountered the following error when using tvm.relay.frontend.onnx to load an onnx model generated by nnsmith.  ### Installation pip install "git+https://github.com/ise-uiuc/nnsmith@main#egg=nnsmith[torch,onnx]" --upgrade ### Reproduction ```bash # Paste...

Zeus1116

TF Coverage Scripts and Tutorial

1

* [ ] Sanitize and push TF coverage evaluation scripts. * [ ] Add tutorial in `experiments/README.md`.

Kristoff-starling

I am getting a bit upset after using `hydra` for a long time. I gradually realized that it actually has more cons than its pros... Here are the main concerns...

ganler

running with `crash_safe=true` is much slower

1

Co1lin