FIX

Author: pubkey

javascript/src/bdd/bdd.optimize.state.json

@@ -20,5 +20,5 @@
         "doesMatchNow": 0.016383298518136143
     },
     "minimalBddString": "14a1b,c+d2e5f0g/h.i4j*k-l)m(n6obh9pce9qnh9rad9scm9tae9uan9vbf9wbe9xbn9ycg9zck9{cn9|nd9}ne9~nf9ng9¡nm9¢nk9£mh9¤mi9¥mj9¦mk9§ml9¨mn9©mc8ª¤{8«¥z8¬¨s8­¨n8®mn8¯¨¡8°¨m8±pz7²ª«7³{z7´­®7µ}n7¶¤¥7·¨m7¸wo6¹µ}6ºnq6»²¬6¼tu6½wx6¾´¯6¿µn6À®¯6Á¶§6·£6ö¨6Ä·¨6Åm¦6Æm¨6Ǥ¥5Ȩm5Ém©4Êm®4Ëǧ4ÌÈ£4ÍǬ4Îû4Ïȯ4Ðľ4Ñm¦4Òm¯4ÓÆÀ4Ôma3Õmn3ÖÉa3×Ên3ØËr3ÙÁt3ÚÌ|3Û¹3ÜÍr3Ýμ3ÞÏ|3ßп3àØÙ2áv¸2ây±2ãÚÛ2ä~º2åµ2æÜÝ2çv½2èy³2éz{2êÞß2ë~n2ìn2íÑÅ2îÒÓ2ï¢n2ðÔb1ñÕn1òÖb1ó×n1ôàá1õâz1öãä1÷æç1øèé1ùêë1úðc0ûñn0üòc0ýón0þmn0ÿÊn0Āôõ0āöå0Ă÷ø0ăùì0Ąíï0ąîï0Ćúû/ćüý/ĈĀā/ĉĂă/ĊÁÂ/ċÃÄ/Čúm.čüm.ĎĆm.ďćm.Đþm.đÿm.ĒĀ§.ēĂ°.ĔĈ§.ĕĉ°.ĖĄ§.ėą°.ĘÁ§.ęè.ĚĊ§.ěċ¨.Ĝŧ.ĝƨ.ĞČč-ğĎď-ĠĐđ-ġĒē-ĢĔĕ-ģĖė-ĤĘę-ĥĚě-ĦĜĝ-ħğĠ,ĨĢģ,ĩĥĦ,ĪĞħ+īġĨ+ĬĤĩ+ĭĪī)ĭĬ(",
-    "quality": 588.8010768471192
-}
+    "quality": 518.8010768471192
+}

javascript/src/truth-table-generator/runner.node.ts

@@ -301,23 +301,6 @@ async function run() {
                         console.log('Last better bdd found ' + roundToTwoDecimals(lastBetterHours) + 'hours ago');
                         bdd.removeIrrelevantLeafNodes(unknownValueActionId);
 
-                        // ensure correctness to have a double-check that the bdd works correctly
-                        const bddMinimalString = bddToMinimalString(bdd);
-                        const simpleBdd = minimalStringToSimpleBdd(bddMinimalString);
-                        for (const [key, value] of loadTruthTable().entries()) {
-                            const bddValue = resolveWithSimpleBdd(
-                                simpleBdd,
-                                resolvers,
-                                key
-                            );
-
-                            if (value !== bddValue) {
-                                console.error('# Error: minimalBdd has different value compared to truth table ' + key);
-                                console.dir({ value, bddValue });
-                                process.exit(-1);
-                            }
-                        }
-
                         if (currentBest) {
                             console.log(
                                 'current best bdd has ' + currentBest.countNodes() + ' nodes ' +
@@ -349,9 +332,29 @@ async function run() {
                         console.log('currentOptimizeState.quality' + currentOptimizeState.quality);
 
                         currentBest = res.bdd;
+
+                        // ensure correctness to have a double-check that the bdd works correctly
+                        const bddMinimalString = bddToMinimalString(currentBest);
+                        const simpleBdd = minimalStringToSimpleBdd(bddMinimalString);
+                        for (const [key, value] of loadTruthTable().entries()) {
+                            const bddValue = resolveWithSimpleBdd(
+                                simpleBdd,
+                                resolvers,
+                                key
+                            );
+
+                            if (value !== bddValue) {
+                                console.error('# Error: minimalBdd has different value compared to truth table ' + key);
+                                console.dir({ value, bddValue });
+                                process.exit(-1);
+                            }
+                        }
+
+
+
+
                         if (quality > currentOptimizeState.quality) {
                             console.log('########## BETTER THEN BEFORE ! -> Save it');
-                            const bddMinimalString = bddToMinimalString(res.bdd);
                             console.log('new string: ' + bddMinimalString);
                             writeBddTemplate(
                                 bddMinimalString,