yosyshq / mcy Goto Github PK

Bug in the print function call:

...
  File "/run/current-system/sw/bin/mcy", line 651, in list_command
    print(f"  {mut}" % mut, file=output)
          ~~~~~~~~~~~^~~~~
TypeError: not all arguments converted during string formatting

Fix:

--- a/mcy.py
+++ b/mcy.py
@@ -648,7 +648,7 @@ def list_command(filter, output, details, trace):
         print(file=output)
 
         if details:
-            print(f"  {mut}" % mut, file=output)
+            print(f"  {mut}", file=output)
             for tst, res in db.execute("SELECT test, result FROM results WHERE mutation_id = ?", [mid]):
                 print(f"  result from \"{tst}\": {res}", file=output)
             print(file=output)

• hitting Ctrl-F again opens a second Find dialog box
• when at last match and hitting "Find Next" (or first and "Find Previous"), wraparound with small notice in bottom of find dialog would be nicer than "Text not found" popup
• sorting in "Sources" tab should be by line number rather than alphabetical
  
• show only file name in tabs, not full path (can add full path as tooltip on hover)
  
  also in properties
  

error given is:

Command 'export TASK=8abcbc9e-17f0-4abb-8b10-9c0e7f00e740 PRJDIR="$PWD" KEEPDIR=0 MUTATIONS="1 2 3 4 5 6 7 8 9 10";
cd tasks/$TASK; export TASKDIR="$PWD"; exec >>logfile.txt; bash $PRJDIR/sim_simple.sh ' returned non-zero return c
ode 127.

better if dependencies were checked before running, or were listed in INSTALL or README

To reproduce:

cd examples/picorv32_primes
mcy init
mcy run

1. sby is now requiring a [tasks] section with regex (YosysHQ/sby#76), but this wasn't added to examples/picorv32_primes/eq_bmc.sby and examples/picorv32_primes/eq_sim3.sby

   • Side note: [0-9]+ does not work as a task regex, but \d+ does

2. eq_bmc.sby fails in generating the smt2 model:

SBY 16:22:13 [eq_bmc_1] smt2: starting process "cd eq_bmc_1/model; yosys -ql design_smt2.log design_smt2.ys"
SBY 16:22:14 [eq_bmc_1] smt2: ERROR: Assert `bit_driver.count(bit) == 0' failed in backends/smt2/smt2.cc:397.

I am trying to build the documentation, but no luck yet:

sphinx-build -b html -d build/doctrees   source build/html
Running Sphinx v1.8.5
loading pickled environment... done

Theme error:
no theme named 'press' found (missing theme.conf?)

If I try to build pdf

**sphinx-build -b latex -d build/doctrees   source build/latex
Running Sphinx v1.8.5
loading pickled environment... done
building [mo]: targets for 0 po files that are out of date
building [latex]: all documents
updating environment: 0 added, 0 changed, 1 removed

Sphinx error:
master file  ...mcy/docs/source/contents.rst not found

I am on commit: 8decee8
ubuntu 20.04.