GNU bug report logs - #78215
[PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq.

Previous Next

Full log

View this message in rfc822 format

From: Andreas Enge <andreas <at> enge.fr>
To: Cayetano Santos <csantosb <at> inventati.org>
Cc: 78215 <at> debbugs.gnu.org
Subject: [bug#78215] [PATCH electronics-team] gnu: symbiyosys: Use abc-yosyshq.
Date: Fri, 2 May 2025 18:14:34 +0200

Hello Cayetano,

I tried your patch and got a test failure:
SBY 16:08:55 [autotune_div_prove] engine_20 (abc pdr): starting... (0 configurations pending)
SBY 16:08:55 [autotune_div_prove] model 'aig': preparing now...
SBY 16:08:55 [autotune_div_prove] aig: starting process "cd autotune_div_prove/model; yosys -ql design_aiger.log design_aiger.ys"
SBY 16:08:56 [autotune_div_prove] aig: finished (returncode=0)
SBY 16:08:56 [autotune_div_prove] prepared model 'aig'
SBY 16:08:56 [autotune_div_prove] engine_20 (abc pdr): failed (returncode=4 status=UNKNOWN)
SBY 16:08:57 [autotune_div_prove] engine_17 (smtbmc --nopresat --nounroll z3): succeeded (status=PASS)
SBY 16:08:57 [autotune_div_prove] engine_17 (smtbmc --nopresat --nounroll z3): took 20 seconds
SBY 16:09:01 [autotune_div_prove] engine_18 (smtbmc --nounroll z3 -- --noincr): succeeded (status=PASS)
SBY 16:09:01 [autotune_div_prove] engine_18 (smtbmc --nounroll z3 -- --noincr): took 20 seconds
SBY 16:09:02 [autotune_div_prove] engine_19 (smtbmc --nopresat --nounroll z3 -- --noincr): succeeded (status=PASS)
SBY 16:09:02 [autotune_div_prove] engine_19 (smtbmc --nopresat --nounroll z3 -- --noincr): took 19 seconds
SBY 16:09:02 [autotune_div_prove] failed engines:
SBY 16:09:02 [autotune_div_prove]   engine_20: abc pdr (returncode=4 status=UNKNOWN)
...

Andreas

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.