Products/Haskellator
2
0
Fork 0
Code Issues Pull requests 1 Actions Packages Projects Releases Wiki Activity

Use corpus package #1

Open
Artturin wants to merge 3 commits from Artturin/corpususe into main
pull from: Artturin/corpususe
merge into: Products:main
Conversation 3 Commits 3 Files changed 4 +42 -14
Artturin commented 2024-12-11 20:46:15 +00:00 (Migrated from github.com)
Copy link
No description provided.
Artturin commented 2024-12-11 21:06:21 +00:00 (Migrated from github.com)
Copy link

Currently having this issue

[nix-shell:~/joyofhardware/Haskellator]$ python3 test.py
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_G.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_G.il -> ./parsed_rtlil/VexRiscv_G.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/arst.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/arst.il -> ./parsed_rtlil/arst.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/fsm.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/fsm.il -> ./parsed_rtlil/fsm.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_LiteDebug.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_LiteDebug.il -> ./parsed_rtlil/VexRiscv_LiteDebug.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Linux.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Linux.il -> ./parsed_rtlil/VexRiscv_Linux.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_FullDebug.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_FullDebug.il -> ./parsed_rtlil/VexRiscv_FullDebug.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_LinuxDebug.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_LinuxDebug.il -> ./parsed_rtlil/VexRiscv_LinuxDebug.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_MinDebug.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_MinDebug.il -> ./parsed_rtlil/VexRiscv_MinDebug.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/cdc.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/cdc.il -> ./parsed_rtlil/cdc.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/mem.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/mem.il -> ./parsed_rtlil/mem.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_IMA.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_IMA.il -> ./parsed_rtlil/VexRiscv_IMA.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Lite.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Lite.il -> ./parsed_rtlil/VexRiscv_Lite.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Debug.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Debug.il -> ./parsed_rtlil/VexRiscv_Debug.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/por.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/por.il -> ./parsed_rtlil/por.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu_hier.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu_hier.il -> ./parsed_rtlil/alu_hier.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Min.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Min.il -> ./parsed_rtlil/VexRiscv_Min.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/ctr.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/ctr.il -> ./parsed_rtlil/ctr.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/pmux.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/pmux.il -> ./parsed_rtlil/pmux.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Full.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Full.il -> ./parsed_rtlil/VexRiscv_Full.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/sel.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/sel.il -> ./parsed_rtlil/sel.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv.il -> ./parsed_rtlil/VexRiscv.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/gpio.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/gpio.il -> ./parsed_rtlil/gpio.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_IMA_wide.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_IMA_wide.il -> ./parsed_rtlil/VexRiscv_IMA_wide.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu.il -> ./parsed_rtlil/alu.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/inst.il
Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/inst.il -> ./parsed_rtlil/inst.hs

Seems like it's trying to write the <output file> to <input file>.

.r--r--r-- root root 1.0 KB Thu Jan 1 02:00:01 1970 /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/inst.il

./rtlil-corpus exists but is empty drwxr-xr-x artturin artturin 12 B Wed Dec 11 22:52:01 2024 rtlil-corpus

Currently having this issue ``` [nix-shell:~/joyofhardware/Haskellator]$ python3 test.py Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_G.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_G.il -> ./parsed_rtlil/VexRiscv_G.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/arst.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/arst.il -> ./parsed_rtlil/arst.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/fsm.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/fsm.il -> ./parsed_rtlil/fsm.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_LiteDebug.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_LiteDebug.il -> ./parsed_rtlil/VexRiscv_LiteDebug.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Linux.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Linux.il -> ./parsed_rtlil/VexRiscv_Linux.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_FullDebug.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_FullDebug.il -> ./parsed_rtlil/VexRiscv_FullDebug.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_LinuxDebug.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_LinuxDebug.il -> ./parsed_rtlil/VexRiscv_LinuxDebug.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_MinDebug.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_MinDebug.il -> ./parsed_rtlil/VexRiscv_MinDebug.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/cdc.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/cdc.il -> ./parsed_rtlil/cdc.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/mem.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/mem.il -> ./parsed_rtlil/mem.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_IMA.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_IMA.il -> ./parsed_rtlil/VexRiscv_IMA.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Lite.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Lite.il -> ./parsed_rtlil/VexRiscv_Lite.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Debug.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Debug.il -> ./parsed_rtlil/VexRiscv_Debug.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/por.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/por.il -> ./parsed_rtlil/por.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu_hier.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu_hier.il -> ./parsed_rtlil/alu_hier.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Min.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Min.il -> ./parsed_rtlil/VexRiscv_Min.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/ctr.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/ctr.il -> ./parsed_rtlil/ctr.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/pmux.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/pmux.il -> ./parsed_rtlil/pmux.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Full.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_Full.il -> ./parsed_rtlil/VexRiscv_Full.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/sel.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/sel.il -> ./parsed_rtlil/sel.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv.il -> ./parsed_rtlil/VexRiscv.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/gpio.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/gpio.il -> ./parsed_rtlil/gpio.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_IMA_wide.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/VexRiscv_IMA_wide.il -> ./parsed_rtlil/VexRiscv_IMA_wide.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu.il -> ./parsed_rtlil/alu.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/inst.il Processed: /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/inst.il -> ./parsed_rtlil/inst.hs ``` Seems like it's trying to write the \<output file\> to \<input file\>. `.r--r--r-- root root 1.0 KB Thu Jan 1 02:00:01 1970 /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/inst.il` `./rtlil-corpus` exists but is empty `drwxr-xr-x artturin artturin 12 B Wed Dec 11 22:52:01 2024 rtlil-corpus`
Artturin commented 2024-12-11 21:20:41 +00:00 (Migrated from github.com)
Copy link
$ ./result/bin/rtlil-parse /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu.il ./parsed_rtlil/alu.hs
Output written to ./parsed_rtlil/alu.hs

Separately it works so should be an issue in test.py

``` $ ./result/bin/rtlil-parse /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu.il ./parsed_rtlil/alu.hs Output written to ./parsed_rtlil/alu.hs ``` Separately it works so should be an issue in test.py
Artturin commented 2024-12-11 21:26:04 +00:00 (Migrated from github.com)
Copy link

Aha lol

$ ./result/bin/rtlil-parse -- /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu.il ./parsed_rtlil/alu.hs
Error: Could not write to the output file.
Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu.il

When using ./result/bin/rtil-parse -- is interpreted as the first path

Aha lol ``` $ ./result/bin/rtlil-parse -- /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu.il ./parsed_rtlil/alu.hs Error: Could not write to the output file. Output written to /nix/store/7h5wam03rxb52pm2hvnlb4z6xnaag5n6-rtlil-corpus-1/alu.il ``` When using `./result/bin/rtil-parse` `--` is interpreted as the first path
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin Artturin/corpususe:Artturin/corpususe
git checkout Artturin/corpususe

Merge

Merge the changes and update on Forgejo.
git checkout main
git merge --no-ff Artturin/corpususe
git checkout main
git merge --ff-only Artturin/corpususe
git checkout Artturin/corpususe
git rebase main
git checkout main
git merge --no-ff Artturin/corpususe
git checkout main
git merge --squash Artturin/corpususe
git checkout main
git merge --ff-only Artturin/corpususe
git checkout main
git merge Artturin/corpususe
git push origin main
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug

Something isn't working

  
documentation

Improvements or additions to documentation

  
duplicate

This issue or pull request already exists

  
enhancement

New feature or request

  
good first issue

Good for newcomers

  
help wanted

Extra attention is needed

  
invalid

This doesn't seem right

  
question

Further information is requested

  
wontfix

This will not be worked on

No labels
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: Products/Haskellator#1
No description provided.
Delete branch "Artturin/corpususe"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?