{"_id":"@geriul/aletheia","_rev":"28-6288680faea93611776886612ba1436c","name":"@geriul/aletheia","dist-tags":{"latest":"1.2.8"},"versions":{"1.0.0":{"name":"@geriul/aletheia","version":"1.0.0","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.0.0","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"sumo":"index.js"},"dist":{"shasum":"ec53eb121be72ee15386af5314bb938c63c62e27","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.0.0.tgz","fileCount":114,"integrity":"sha512-6CK4FbsWfTNPCZX74z+bCGJKo4GDNOjl1mNt4vPM/QgkY8Kp2Rc+X3N/9JB4hgpvqC6oarizeaiuHzuKLNCbEg==","signatures":[{"sig":"MEQCIFoGKbNjsI8aGMbzIFCm2AplYDMtbpk601M3BwOH7m6kAiA4qn8iKhLfl7NRz5HxlcJubjg/1UWfnHt0tV5+K0VeQw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":418304},"main":"index.js","gitHead":"02cdaa8f1f431ccd193df25c82553ede0953f968","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@morenabarboni/sumo":"^3.2.1","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.0.0_1761142935821_0.6929307502201596","host":"s3://npm-registry-packages-npm-production"}},"1.0.1":{"name":"@geriul/aletheia","version":"1.0.1","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.0.1","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"7ea886d69d1faf21c35a2591c2bf4c289cff0509","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.0.1.tgz","fileCount":114,"integrity":"sha512-+g7SQp1vSt9bT6BDCEVgkJmo5PCofxaeFqy+orIX9HPh9OP1QIvXKfVMYFOvZ9zohS/oiUA+Pz30GeFlHKCTig==","signatures":[{"sig":"MEUCIQDNFZp+xHPkj8q04ttWCSVPDgYy5H2l6oXNZwKbM1e5fwIgLH1JtdWP6b5JslH4Vld22bOsbjQVqfw5RQPmTCRF0EE=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":418271},"main":"index.js","gitHead":"02cdaa8f1f431ccd193df25c82553ede0953f968","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.0.1_1761143885453_0.6507777761688087","host":"s3://npm-registry-packages-npm-production"}},"1.0.3":{"name":"@geriul/aletheia","version":"1.0.3","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.0.3","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"523a4b9c662c51b83fefa8ed19d00c1069ab3904","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.0.3.tgz","fileCount":120,"integrity":"sha512-6Cb+R4QY+LiMbuyWHPw6fi3ZMLIxRd4vDkJPffNUT7r3n7fpEmDhvr8rKf2eRG/h3S//fLvv3CkGwqDBu5Ywig==","signatures":[{"sig":"MEUCIHUcRzqtb6vk8h3Mi1zS4EyFIusB0uJB9vVc2txY6VscAiEAi7zAxuPB4eW5XTOwY0LRwChn1KRcfZowXIlkHrl0LAc=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":421748},"main":"index.js","gitHead":"02cdaa8f1f431ccd193df25c82553ede0953f968","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.0.1","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.0.3_1761150017666_0.7836975791077918","host":"s3://npm-registry-packages-npm-production"}},"1.0.4":{"name":"@geriul/aletheia","version":"1.0.4","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.0.4","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"df22ee1d8a432d4e54dff83632844ba1f99c3c36","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.0.4.tgz","fileCount":99,"integrity":"sha512-kblobwH3KJUv0yRk7R96cYmz+zjwduMy0PMjPansXwYP2Br//Y1aUvg9G5ER8xp3F8KBDIuL1yZp0QhUQ96ZaQ==","signatures":[{"sig":"MEQCIALS5q2WX95yfXEatu1ufs3lCxrjhcccEvqXChPjh8JeAiA2Eq+O5lklDt8YFQCEnY7tjbrG16sobIYX54vCXPWHqg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":395697},"main":"index.js","gitHead":"02cdaa8f1f431ccd193df25c82553ede0953f968","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.0.3","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.0.4_1761150819486_0.6414602737387287","host":"s3://npm-registry-packages-npm-production"}},"1.0.5":{"name":"@geriul/aletheia","version":"1.0.5","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.0.5","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"ae5ece45d85df2254f39b27b2349c05ad79f23ed","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.0.5.tgz","fileCount":164,"integrity":"sha512-4WxM2yG7Y99eEGPv1GSqaAyglWlkezyATtwaIT2ryQFk+WbjL6dlOSYDScsJBtOiyuHnmj6TDlpU9heqy0CB1A==","signatures":[{"sig":"MEUCIAgi5+S4SVltjt16e9WJD6uHCEOHWgYHras0l0i/yDSHAiEAjK4moNzcKwofIcXkxzCT1No8hl2ELM31XsrNSBBrmmc=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":509619},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.0.4","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.0.5_1761230203591_0.7182254710534584","host":"s3://npm-registry-packages-npm-production"}},"1.0.6":{"name":"@geriul/aletheia","version":"1.0.6","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.0.6","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"df9b1f8fae27747a3f56d875a32bcf33f16ba6bf","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.0.6.tgz","fileCount":165,"integrity":"sha512-A0GJiIifJGbsokcRYALDsNT6uZcA+FGr0/ikezQUgA6FWyzMBdk3InSI34/Nvjo1eKV9b/qLNpuKE6hke2nIsw==","signatures":[{"sig":"MEQCIDw9prVoH9ZEuMAuoRhkGEehod81xPBDCVTkNwEvZhLXAiATpKki9zrks8ZSBE84QGHRtSs/ZQbxP11a5Fcf7Xi4cQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":511975},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.0.5","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.0.6_1761231493544_0.7571443963418372","host":"s3://npm-registry-packages-npm-production"}},"1.0.7":{"name":"@geriul/aletheia","version":"1.0.7","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.0.7","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"082779ae409a6c286701a7c72fbb4dbf0727156e","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.0.7.tgz","fileCount":193,"integrity":"sha512-va4X7KhWuXyHN6+wfjdI7r03XHJqpg4AhmD44gyizKy2FFb0AxcGhwAbztlA9E4bnYSMg04bsXMWOnL6pQYFbw==","signatures":[{"sig":"MEQCIErj+7F14qdqPk8sVlGKmli9MPbSdcl5SjaROlrNmuQIAiBUkL2YeNZuZyCO7sfHoH2lwsKzlYI9Hh1ThRSPcfQ7jA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":605297},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.0.6","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.0.7_1761239987964_0.7168852450682306","host":"s3://npm-registry-packages-npm-production"}},"1.0.8":{"name":"@geriul/aletheia","version":"1.0.8","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.0.8","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"84e5abbfc2ec90da744ab60f31d89bd5f3d96562","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.0.8.tgz","fileCount":193,"integrity":"sha512-S+RpLS3+zf7/2BP1hfJyBPR5iekLAMnJNGuUgNVUN6LilLghALLFXQ2cemz9/vx3zmO0lVFZbQZVvM7WdsJuaA==","signatures":[{"sig":"MEUCIQCQhF4VKPm0ip2nQJKci9YaHoabLzillVZSi8l/QoPR0QIgXtacP44kd0ae9yHV7vxvQllOfFFsCLr4pyUhlEWmIpY=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":605483},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.0.6","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.0.8_1761240131592_0.7981425348630002","host":"s3://npm-registry-packages-npm-production"}},"1.0.9":{"name":"@geriul/aletheia","version":"1.0.9","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.0.9","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"642583d8dc3f5f12d2a59a742c6bc5c4f42e6592","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.0.9.tgz","fileCount":193,"integrity":"sha512-Q+qryRyTWvhUS72wCju8BCgmR8cxcFAQ7fSxmcfV2wP6p4rKXQJ3jSA+YoDlHGgU0hwwSyVPBNXZYGzVoJl3qQ==","signatures":[{"sig":"MEUCIC17oSRxmk7Q5UrHnI+MF4YnsGj5eI099RnKHnXjIvKAAiEAqSQzT9D6ZUYnyFQNHNXNk53zucRrK2tDPN5Qp/k0kP0=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":605483},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.0.7","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.0.9_1761240251545_0.5577492213226543","host":"s3://npm-registry-packages-npm-production"}},"1.1.0":{"name":"@geriul/aletheia","version":"1.1.0","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.1.0","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"c5459417761bc41239d2cacce335b357542f130b","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.1.0.tgz","fileCount":130,"integrity":"sha512-NDljJxYWyQdNXrZYTJyzvmrcb9J0o3/OQT68lRmbZYsoak9z6hQSbWPg9S+mZg3VHsGQU/0ppP2I1vCDMrAAIA==","signatures":[{"sig":"MEQCICCEXBq8eVu05hJCMQ92V3bDe2hNi3D3qQJp++mbMMc1AiA7LaTFAgQiR6QkBhBvBz+GS0H53eShz0tjxdCOZq292A==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":455388},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.0.8","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.1.0_1761311537110_0.9406937493232621","host":"s3://npm-registry-packages-npm-production"}},"1.1.1":{"name":"@geriul/aletheia","version":"1.1.1","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.1.1","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"78525e8e1e3cf955c169630fcc4705a3fc4efe2a","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.1.1.tgz","fileCount":122,"integrity":"sha512-i9JtjQDw3c+i/0AiG27xp3HnmVpv8JntP1Rg2vFaj/ansL7aWlRKbBuOH6arblYKjvXKPCts1BLMx0ZDZ5pQQQ==","signatures":[{"sig":"MEUCIErkfosaPxwX4aOtmZyiYHrucJ2Vlw8kNWq4t9GMjTBBAiEAx//De1BYFA27Qrhmm+s4SEbIy4XgAHnhuNrXZq3hc2Q=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":439934},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.1.0","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.1.1_1761730897353_0.41913517585463733","host":"s3://npm-registry-packages-npm-production"}},"1.1.2":{"name":"@geriul/aletheia","version":"1.1.2","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.1.2","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"311c24d14829f6f648f4373a7ddc55a4185364be","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.1.2.tgz","fileCount":133,"integrity":"sha512-zy2AmU3AhtEFDl+07hm9ueUe79BR+DXG+Mx/lu5k3YGdBlafZZVqA8nNoVUl/YoctHZzJCoegcFGzGf4bgldwQ==","signatures":[{"sig":"MEYCIQCFG4WibP01AecTE0KAijTQ80Y92wpLe88db82fawvukwIhAIN52zSfIi8wls9Y1SN5H5xEe+KsRbWUcork2/lxAUXB","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":479306},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.1.1","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.1.2_1761746484537_0.026156412068412127","host":"s3://npm-registry-packages-npm-production"}},"1.1.3":{"name":"@geriul/aletheia","version":"1.1.3","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.1.3","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"85e14182bb38e81a9b54b4dc2610b0688d8492b4","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.1.3.tgz","fileCount":147,"integrity":"sha512-m/aOQj3K+m/ZCDyDL0O+BNDS8gMfUOZnvwJGioVSn6aECgQg+iqWDaaJSVKOx2bqMxTxwJj5WWAEKKtdnTln8w==","signatures":[{"sig":"MEUCIGm7PFC8NlWX+RwWyxBc0UY+kgtVjDiJVcg+e1f7kNvuAiEAnbvsMgfnl9jONR3LUkfl+jlml5gfbOIe8XGuHEG5ouU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":505139},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.1.2","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.1.3_1761933886673_0.7103332929277386","host":"s3://npm-registry-packages-npm-production"}},"1.1.4":{"name":"@geriul/aletheia","version":"1.1.4","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.1.4","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"472c5886cfcf94e22e98d8587d80c22fae4711d1","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.1.4.tgz","fileCount":147,"integrity":"sha512-uDrYI0/PYe3NAB6OiBbMN/G4U6N8xlMK87PJs2U95Z7fFzaJC/u5JfY0KJVIKZi20URn+79/4Phks9Ehy6az7w==","signatures":[{"sig":"MEQCIHNRs2/UvBPAM3XOltvhy6dweXF26K6IUGMbb5HwhvdFAiAoNCO9Q6KR7zkwKu2cv933fV6RXGDAngQHCXybVQdLKA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":504472},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.1.3","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.1.4_1761934096980_0.20366508386858762","host":"s3://npm-registry-packages-npm-production"}},"1.1.5":{"name":"@geriul/aletheia","version":"1.1.5","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.1.5","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"2691d28c850ba51c45886e13d2ffcee7dcc4cf61","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.1.5.tgz","fileCount":2613,"integrity":"sha512-PQ2I5tmSFR0xscyVK8fqNbEdmF7rhAKuSRlDYimef/TDwkRSpURKAaRzbpWXljoAUXdiSTOZ+ylhmZOFInMV+Q==","signatures":[{"sig":"MEYCIQDOAcFvaNkUfwgvd4YcoElylNK4fyKJY65ik37Sxuy65wIhAIGXwObxMISMeuZ7tr3NvZiQpIJV6NoMw4H5rHA0DIlp","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":53053098},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.1.3","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.1.5_1763057456825_0.3638955861386015","host":"s3://npm-registry-packages-npm-production"}},"1.1.6":{"name":"@geriul/aletheia","version":"1.1.6","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.1.6","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"364a36952b015c8ccb4057f1d1142a584d9210e0","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.1.6.tgz","fileCount":2613,"integrity":"sha512-wBs9kVomySExIuH3NPIX73NtL/5NfHEJTOZqNWBbj5LBs1G33PbpQLzV+XlzowxAgyCJWvm4CJoNlpuwM1/Y2Q==","signatures":[{"sig":"MEQCIB4mUQxc1oRNWwklQqL8DhcVhsZRasvSm9JT561hoXypAiAmAmxnhEzZM7rFFovQ5cDuJdL7v8EadOpbGNeHHOJHLQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":53053178},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.1.5","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.1.6_1763118727220_0.30570511913768716","host":"s3://npm-registry-packages-npm-production"}},"1.1.7":{"name":"@geriul/aletheia","version":"1.1.7","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.1.7","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"c7adc82afa00c283e33aed8e73c1083e398aafcc","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.1.7.tgz","fileCount":2614,"integrity":"sha512-B+6smm2tVdHloVXpl85N5ZBv+i5t6RElPNKodleWtGOEn50qUiiBtfWi0mZCA00lP3UAar2UGmEzVQ/ez9/nYw==","signatures":[{"sig":"MEYCIQDFGDSZOwMhe1GONss2fzi4/DJmkVJgMH37VEquJP/4nwIhANZS8PQToHNtMJQhUYIsQSjare8D+hBWTw9G0kzfiJHI","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":53062131},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.1.6","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.1.7_1763136543111_0.9950409747281808","host":"s3://npm-registry-packages-npm-production"}},"1.1.8":{"name":"@geriul/aletheia","version":"1.1.8","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.1.8","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"bf77334c2ffcfd12936cf7f978409ab5462f5504","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.1.8.tgz","fileCount":2615,"integrity":"sha512-eocQuYyQbRcMhfOBunj02axYvImQIKJkrfy6mtljT0AEcr0Kq352rezZAMXAcbLHJ4aDQci9dU1o0OW+/bgL7g==","signatures":[{"sig":"MEUCIQDyGehKwryChmPqkO8NflhDgTj8+2NL8NYITdNjWJKFnQIgWyfEiGYakHaMtdm/A4c9bEM4j+GTZMNBqUSeO8lG/Zo=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":53066784},"main":"index.js","gitHead":"08710e3072310b61148ec3a7c1e417febcce2f47","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.1.7","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.1.8_1763138952652_0.9282779282179647","host":"s3://npm-registry-packages-npm-production"}},"1.1.9":{"name":"@geriul/aletheia","version":"1.1.9","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.1.9","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"98475e19fffbac5ad6cd1444cc2d61dbb4fa0476","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.1.9.tgz","fileCount":116,"integrity":"sha512-piMVj5rwAA2ZFMGPJ3uSc1BLblcRH/E0KByTm4R7Yr6C632dxOF2t+lamDlMu8bh8D76AM4mcIfTppzf2eeDaA==","signatures":[{"sig":"MEQCIACx1kDo6NqBT8mMm+WSYDkQ9Yb79eMyjFI+KW/UUOKZAiAJVh+ILTb8MmzBDtkRk5CohiJBsjXo655i6kEywVIE4g==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":460434},"main":"index.js","gitHead":"5fbbe530a18e46402e49e54f7f5a7bd39ff3c032","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.1.8","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.1.9_1763384799383_0.23067006335161921","host":"s3://npm-registry-packages-npm-production"}},"1.2.0":{"name":"@geriul/aletheia","version":"1.2.0","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.2.0","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"442a70d8583fc51d455e5a19e6840e48fb971268","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.2.0.tgz","fileCount":116,"integrity":"sha512-g3Hk562ZiwN01dukoAhhfMySIhHFYznZQ4B7V5Qinf9EtilBMvHSuDlJ11AVX4tVleQ6VvPSUzSJMJPKwNRjCQ==","signatures":[{"sig":"MEQCIBrDBrnEYfZljFG3D4G/I0Swy4GVz3XRW9AG2Z1hiZZMAiARh3XnPeBiIlUPgh+670WnBli2zpwOe7lKC9I5yqGAPg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":460434},"main":"index.js","gitHead":"5fbbe530a18e46402e49e54f7f5a7bd39ff3c032","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.1.8","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.2.0_1763384888957_0.035389652107988834","host":"s3://npm-registry-packages-npm-production"}},"1.2.1":{"name":"@geriul/aletheia","version":"1.2.1","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.2.1","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"769ec292a5da8cb2727e27b6dea4ddbc35fd3014","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.2.1.tgz","fileCount":116,"integrity":"sha512-CxwcH9X44i7wAy0d9FZdhg3Q2eEawEmaFzS+AWsRbiUEXFfl/TdkHwDUt4swlq1cy68om9ZNsEFPJgTa2UCO+Q==","signatures":[{"sig":"MEUCIQCssUC4Q7IfknjGkY4eoxVMAEe9YmF4hcsHNyPq4hd+gwIgLn19YjPq18gRaJWmVCZkxeYlai+7q/XsiTykve/dTYM=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":460434},"main":"index.js","gitHead":"5fbbe530a18e46402e49e54f7f5a7bd39ff3c032","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.2.0","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.2.1_1763385300303_0.3783849681261702","host":"s3://npm-registry-packages-npm-production"}},"1.2.2":{"name":"@geriul/aletheia","version":"1.2.2","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.2.2","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"3d717ad455a392940f425e29f69a52ed24dac71b","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.2.2.tgz","fileCount":119,"integrity":"sha512-lXQu3Mhs/hAzisluFPJZ/MigNmdsmiesYMv0kf8lNfO19DA7MfxPCYlqhN5f7OK5MfkE898aKURFLeOzytgoww==","signatures":[{"sig":"MEYCIQDbBlEyf2SXok0AXyO06n9gyV7rzQez1mZ/8ZYdbbVpXAIhAOlK61xQOip0Fr7Xzro8H4rD6fvj7a3PLWheLeKcfzok","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":471560},"main":"index.js","gitHead":"5fbbe530a18e46402e49e54f7f5a7bd39ff3c032","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.2.0","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.2.2_1763386422087_0.21085972909946293","host":"s3://npm-registry-packages-npm-production"}},"1.2.3":{"name":"@geriul/aletheia","version":"1.2.3","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.2.3","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"761412037e6825093bdab4595d550457d33f52a4","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.2.3.tgz","fileCount":120,"integrity":"sha512-Fhdm9ocfQQg8HVHtUD94tNhdMDUaQuGjd7aUbJRW3GuPWygEGutybLmWtSuxaaRoaHwELtIrlU0obn+6UB6T1Q==","signatures":[{"sig":"MEUCIQDU9QGSNbKUfRgtZa1K8iJj3TaPmBSpsSrVdKkX6Fsi0AIgBeaS7brQgdm2g/XH6vIRTKWSiMNTNwhqSpQ/DAj0FsA=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":473097},"main":"index.js","gitHead":"5fbbe530a18e46402e49e54f7f5a7bd39ff3c032","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.2.2","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.2.3_1763485794704_0.14219391309724116","host":"s3://npm-registry-packages-npm-production"}},"1.2.4":{"name":"@geriul/aletheia","version":"1.2.4","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.2.4","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"7baac6956a32de0855b3e0d3040763a6536830c1","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.2.4.tgz","fileCount":120,"integrity":"sha512-iYQdiZB0dCJqvoyDzNAYHDvZR06HmB0PvQFOWVpHqQi1qK1zsEBeAR+btD4v3HYx9W6+lLNNcmYP5aIPo8FZUA==","signatures":[{"sig":"MEYCIQDcVbJPKoMKdnIssGR4RBk5J7wREqcbojYiBbNhv+veLwIhAMzZKV6N/uo4C2MTuiWXsC/TYeZ7h31AU4rcdIdzpAsi","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":473139},"main":"index.js","gitHead":"5fbbe530a18e46402e49e54f7f5a7bd39ff3c032","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.2.2","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.2.4_1763486397697_0.8727028616716228","host":"s3://npm-registry-packages-npm-production"}},"1.2.5":{"name":"@geriul/aletheia","version":"1.2.5","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.2.5","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"ff68d97f38cca90427b2fe77a2d8d65d720d77cc","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.2.5.tgz","fileCount":121,"integrity":"sha512-zWkIdVR6OkojnLieMENp2JeYwTSr+dw5PLfUvG/m8rIbLva/XuUekzIRoqFoZ5dxocE/dVceWzcgNkX+fnvaPQ==","signatures":[{"sig":"MEQCIETloiZPiDby8FRzL69xewtLM5UWakh/GXXUykklY3drAiBaK/7BVNdqA+FvnVnoiHHh2h1xYah7PBZnVEO0vIB+8g==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":480303},"main":"index.js","gitHead":"5fbbe530a18e46402e49e54f7f5a7bd39ff3c032","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.2.3","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.2.5_1763546760398_0.09945812393960662","host":"s3://npm-registry-packages-npm-production"}},"1.2.6":{"name":"@geriul/aletheia","version":"1.2.6","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.2.6","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"12566eef65a7845eb2e1542e8c002cfe7c39752d","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.2.6.tgz","fileCount":122,"integrity":"sha512-cwtl46iz/0iGoAXcjt3/i2p1pTM0AFGzT+RPn1MPW1VKEu8Fn8Q3MQ0SdQXAc/p0KJHi2iJW0CDf21ZgzTsUyw==","signatures":[{"sig":"MEUCIBGCxqdVfJMDbm+PKDEgUBiBpr01Fp8IHB0Plhyw3uqmAiEAgQM9SQeUYL1BI2MngKdQKIsqucsogZAjq3EO+qpQEMY=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":490338},"main":"index.js","gitHead":"5fbbe530a18e46402e49e54f7f5a7bd39ff3c032","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.2.5","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.2.6_1763550763558_0.9077308642192765","host":"s3://npm-registry-packages-npm-production"}},"1.2.7":{"name":"@geriul/aletheia","version":"1.2.7","keywords":["mutation testing","solidity","smart contract"],"author":{"name":"Gerardo Iuliano"},"_id":"@geriul/aletheia@1.2.7","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"bin":{"aletheia":"index.js"},"dist":{"shasum":"6df82e34e010e730aa2d6c8e94343c816a0cbe35","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.2.7.tgz","fileCount":123,"integrity":"sha512-juA7CnEUk7C4oFZCfPYpan9Skdf0QKyVuBaHYQaYb6i9e7q1HuIXGfEdHA+IsafroYUoc7fpVTEM3bhQnZmXTQ==","signatures":[{"sig":"MEQCIDVgwq16QX4Zbtin1kPT8pcnAMmqjmhDWXf52L15HpmOAiBKfne035iG/lm6E1sVNFINcIoBodu+gt0MTWVAemES+w==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":500305},"main":"index.js","gitHead":"5fbbe530a18e46402e49e54f7f5a7bd39ff3c032","scripts":{"postinstall":"node ./scripts/init.js"},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"repository":{"url":"git+https://github.com/GerardoIuliano/Aletheia.git","type":"git"},"_npmVersion":"11.6.0","description":"A mutation tool for Ethereum smart contracts invariants verification.","directories":{},"_nodeVersion":"24.10.0","dependencies":{"npm":"^11.6.2","diff":"7.0.0","glob":"8.1.0","sha1":"^1.1.1","chalk":"^4.1.2","yargs":"^17.5.1","install":"^0.13.0","fs-extra":"11.3.0","z3-solver":"^4.15.4","postinstall":"^0.8.0","app-root-path":"3.1.0","recursive-copy":"2.0.14","@geriul/aletheia":"^1.2.6","@solidity-parser/parser":"0.19.0"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/aletheia_1.2.7_1763551945102_0.3531807997051888","host":"s3://npm-registry-packages-npm-production"}},"1.2.8":{"author":{"name":"Gerardo Iuliano"},"name":"@geriul/aletheia","version":"1.2.8","description":"A mutation tool for Ethereum smart contracts invariants verification.","repository":{"type":"git","url":"git+https://github.com/GerardoIuliano/Aletheia.git"},"main":"index.js","bin":{"aletheia":"index.js"},"keywords":["mutation testing","solidity","smart contract"],"scripts":{"postinstall":"node ./scripts/init.js"},"dependencies":{"@geriul/aletheia":"^1.2.7","@solidity-parser/parser":"0.19.0","app-root-path":"3.1.0","chalk":"^4.1.2","diff":"7.0.0","fs-extra":"11.3.0","glob":"8.1.0","install":"^0.13.0","npm":"^11.6.2","postinstall":"^0.8.0","recursive-copy":"2.0.14","sha1":"^1.1.1","yargs":"^17.5.1","z3-solver":"^4.15.4"},"_id":"@geriul/aletheia@1.2.8","gitHead":"fac8e9a108690c1bddaac169aadb261b963a4d2f","bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","_nodeVersion":"24.10.0","_npmVersion":"11.6.0","dist":{"integrity":"sha512-de/xsx/1/j/34o0uEb4Dm9s3eXAd67TnypWs4IEjxF0BKPhZg9a73S4zft22QSAU4E6Z/03+TQeBjYgUS7rVcQ==","shasum":"026119cb4702834c4cb621cf073974a10d9e4c9e","tarball":"https://registry.npmjs.org/@geriul/aletheia/-/aletheia-1.2.8.tgz","fileCount":123,"unpackedSize":493949,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEQCIDfe+OSlRpduZSf7TLyWVx2S8bC059JmzLvSH4QemdMUAiB1+KdFD8LkYn0Qf1hWu73HPvttWhhFhGi1WwVEQ9f9uA=="}]},"_npmUser":{"name":"geriul","email":"gerardoiuliano99@gmail.com"},"directories":{},"maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/aletheia_1.2.8_1763994189493_0.12312314852239736"},"_hasShrinkwrap":false}},"time":{"created":"2025-10-22T14:22:15.727Z","modified":"2025-11-24T14:23:09.843Z","1.0.0":"2025-10-22T14:22:16.019Z","1.0.1":"2025-10-22T14:38:05.649Z","1.0.3":"2025-10-22T16:20:17.932Z","1.0.4":"2025-10-22T16:33:39.755Z","1.0.5":"2025-10-23T14:36:43.780Z","1.0.6":"2025-10-23T14:58:13.752Z","1.0.7":"2025-10-23T17:19:48.246Z","1.0.8":"2025-10-23T17:22:11.775Z","1.0.9":"2025-10-23T17:24:11.761Z","1.1.0":"2025-10-24T13:12:17.314Z","1.1.1":"2025-10-29T09:41:37.530Z","1.1.2":"2025-10-29T14:01:24.738Z","1.1.3":"2025-10-31T18:04:46.902Z","1.1.4":"2025-10-31T18:08:17.184Z","1.1.5":"2025-11-13T18:10:57.170Z","1.1.6":"2025-11-14T11:12:07.663Z","1.1.7":"2025-11-14T16:09:03.478Z","1.1.8":"2025-11-14T16:49:13.042Z","1.1.9":"2025-11-17T13:06:39.614Z","1.2.0":"2025-11-17T13:08:09.169Z","1.2.1":"2025-11-17T13:15:00.495Z","1.2.2":"2025-11-17T13:33:42.277Z","1.2.3":"2025-11-18T17:09:54.911Z","1.2.4":"2025-11-18T17:19:57.913Z","1.2.5":"2025-11-19T10:06:00.585Z","1.2.6":"2025-11-19T11:12:43.838Z","1.2.7":"2025-11-19T11:32:25.359Z","1.2.8":"2025-11-24T14:23:09.674Z"},"bugs":{"url":"https://github.com/GerardoIuliano/Aletheia/issues"},"author":{"name":"Gerardo Iuliano"},"homepage":"https://github.com/GerardoIuliano/Aletheia#readme","keywords":["mutation testing","solidity","smart contract"],"repository":{"type":"git","url":"git+https://github.com/GerardoIuliano/Aletheia.git"},"description":"A mutation tool for Ethereum smart contracts invariants verification.","maintainers":[{"name":"geriul","email":"gerardoiuliano99@gmail.com"}],"readme":"# Aletheia\nAletheia is a mutation tool for Solidity Smart Contracts invariants validation and verification. \n\n\n# Table of Contents\n* [Installation](https://github.com/GerardoIuliano/Aletheia#installation)\n* [Configuration](https://github.com/GerardoIuliano/Aletheia#configuration-)\n* [CLI Usage](https://github.com/GerardoIuliano/Aletheia#cli-usage)\n* [Mutation Operators](https://github.com/GerardoIuliano/Aletheia#mutation-operators-)\n\n# Installation\n\nTo install sumo run ```npm install @geriul/aletheia```\n\n# Implement new operators\n\nCreate the operator into the src/operators/FOLDER/OPERATOR.js\nChoose the most suitable FOLDER where implement the OPERATOR\n\nUpdate the mutationGenerator.js file adding:\n \n```\nconst IDOperator = require('./FOLDER/OPERATOR')\n\n[...]\n\nmodule.exports = {\n IDOperator: IDOperator,\n}\n```\n\nUpdate the operator.config.json file adding: \n\n```\n{\n [...]\n \"ID\": true,\n}\n```\n\nUpdate the mutationRunner.js file adding: \n\n```\nconst mutGen = new mutationGenerator.MutationGenerator([\n [...], \"ID\"\n].map(operator => new mutationGenerator[`${operator}Operator`]()));\n```\n\nIf you want to reflect changes to your package, update the package version into package.json.\n\n```\n\"version\": \"1.0.1\"\n```\n\nThen push the changes to npm repository.\n\n```\nnpm publish --access public \n```\n\nFinally, install.\n```\nnpm install @geriul/aletheia\n```\n\nOtherwise link the tool to the local changes.\n\n# Configuration ⚙️\nBefore using Aletheia you must specify your desired configuration in a [sumo-config.js](https://github.com/GerardoIuliano/Aletheia/blob/master/src/sumo-config.js) in the root directory of your project. The ```sumo-config.js``` is automatically generated when SuMo is installed.\n\nHere's a simple example of ```sumo-config.js```:\n\n```\nmodule.exports = { \n buildDir: \"auto\", //build directory of the SUT (auto detect)\n contractsDir: \"auto\", //contract directory of the SUT (auto detect)\n testDir: \"auto\", //test directory of the SUT (auto detect)\n skipContracts: [\"interfaces\", \"mock\", \"test\"], // Relative paths from contractsDir\n skipTests: [], // Relative paths from testsDir\n testingFramework: \"auto\", //testing framework (auto detect)\n minimalOperators: false, // use minimal mutation rules\n randomSampling: false, //use random mutant sampling\n randomMutants: 100, //if random sampling is enabled, generate 100 mutants max\n testingTimeOutInSec: 500 //testing time-out for a mutant\n}\n```\n\n# CLI Usage\n\n## Selecting the Mutation Operators\nBefore starting the mutation process you can choose which mutation operators to use:\n\n| Command | Description | Usage | Example |\n|---------------|------------------------------------|--------------------------|-------------------------------------|\n| `list` | Shows the enabled mutation operators. | `npx/yarn aletheia list` | `$ npx aletheia list` |\n| `enable` | Enables one or more mutation operators. If no operator IDs are specified, all of them are enabled. | `npx/yarn aletheia enable [...ID]` | `$ npx aletheia enable`
`$ npx aletheia enable AOR BOR` |\n| `disable` | Disables one or more mutation operators. If no operator IDs are specified, all of them are disabled. | `npx/yarn aletheia disable [...ID]` | `$ npx aletheia disable`
`$ npx aletheia disable FVR` |\n\n## Viewing the available mutations\n\n| Command | Description | Usage | Example |\n|---------------|------------------------------------|--------------------------|-------------------------------------|\n| `lookup` | Generates the mutations and creates reports without starting mutation testing. | `npx/yarn aletheia lookup` | `$ npx aletheia lookup` |\n| `mutate` | Generates the mutations and saves a copy of each `.sol` mutant to to ./aletheia/mutants. | `npx/yarn aletheia mutate` | `$ npx aletheia mutate` |\n\n## Running Mutation Testing\n\n\n| Command | Description | Usage | Example |\n|---------------|------------------------------------|--------------------------|-------------------------------------|\n| `pretest` | Runs the test suite on the original smart contracts to check if all tests pass and can be successfully evaluated. Pretest is automatically run when `aletheia test` is executed. | `npx/yarn aletheia pretest` | `$ npx aletheia pretest` |\n| `test` | Starts the mutation testing process. You can also choose a single mutant / an interval of mutants to be tested by sepcifying `````` and (optionally) ``````.| `npx/yarn aletheia test ` | `$ npx aletheia test`
`$ npx aletheia test mbc5e8f56 mbg5t86o6`|\n| `restore` | Restores the SUT files to a clean version. This should be executed if you suddenly interrupt the mutation process. Note that the restore command overwrites your codebase with the files stored in the ```aletheia/baseline``` folder. If you need to restore the project files, make sure to do so before performing other operations as the baseline is automatically refreshed on subsequent preflight or test runs.| `$ npx/yarn aletheia restore` | `$ npx aletheia restore`|\n\n## Viewing the results\nAletheia automatically creates a ```sumo\\results``` folder in the root directory of the project with the following reports:
\n* ```mutations.json```: List of mutations in json format, synchronoysly updated during testing. \n* ```index.html```: A simple web display of the results (you can view this using VSCode extensions like ```Live Server```). From here, you can also download a csv with the results.\n* ```\\mutants```: Folder with mutated ```.sol``` source files (only if generated with ```sumo mutate```)\n\n# Mutation Operators 👾\n\nAletheia includes the following Traditional and Solidity-specific operators. Note that not all mutation operators are enabled by default.\n\n## Traditional Mutation Operators\n\n| Operator | Name | Mutation Example | Enabled by Default | Minimal Available |\n| ------ | ------ | ------ | ------ | :----: |\n| ACM| Argument Change of overloaded Method call | ```overloadedFunc(a,b);``` → ```overloadedFunc(a,b,c);``` | Y | N |\n| AOR | Assignment Operator Replacement | ```+= ``` → ```=``` | Y | N |\n| BCRD | Break and Continue Replacement
and Deletion | ```break``` →
```continue``` → ```break``` | Y | N |\n| BLR | Boolean Literal Replacement | ```true``` → ```false``` | Y | N |\n| BOR | Binary Operator Replacement | ```+``` → ```-```
```<``` → ```>=``` | Y | Y |\n| CBD | Catch Block Deletion | ```catch{}``` → ``` ``` | Y | N |\n| CSC | Conditional Statement Change | ```if(condition)``` → ```if(false)```
```else{}``` → ``` ``` | Y | N |\n| ER | Enum Replacemet | ```enum.member1``` → ```enum.member2``` | Y | Y |\n| ECS | Explicit Conversion to Smaller type | ```uint256``` → ```uint8``` | Y | N |\n| FCD | Function Call Deletion | ```foo()``` → ``` ```| Y | N |\n| HLR | Hexadecimal Literal Replacement | ```hex\\\"01\\\"``` → ```hex\\\"random\\\"```| Y | N |\n| ILR | Integer Literal Replacement | ```1``` → ```0``` | Y | N |\n| LCS | Loop Statement Change | ```while(condition)``` → ```while(false)``` | Y | N |\n| OLFD | Overloaded Function Deletion | ```function overloadedF(){}``` → ``` ``` | Y | N |\n| ORFD | Overridden Function Deletion | ```function f() override {}``` → ``` ``` | Y | N |\n| SKR | Super Keyword Replacement | ```x = getData()``` → ```x = super.getData()``` | Y | N |\n| SLR | String Literal Replacement | ```\"string\"``` → ```\"\"``` | Y | N |\n| UORD | Unary Operator Replacement and Deletion | ```++``` → ```--```
```!``` → ``` ``` | Y | Y |\n\n\n## Solidity Mutation Operators\n| Operator | Name | Mutation Example |Enabled by Default | Minimal version available |\n| ------ | ------ | ------ | ------ | :----: |\n| AVR | Address Value Replacement | ```0x67ED2e5dD3d0...``` → ``` address.this()```| Y | Y |\n| CCD | Contract Constructor Deletion | ```constructor(){}``` → ``` ``` | Y | N |\n| DLR | Data Location Keyword Replacement | ```memory``` → ```storage``` | N | N |\n| DOD | Delete Operator Deletion | ```delete``` → | Y | N |\n| ETR | Ether Transfer function Replacement | ```delegatecall()``` → ```call()``` | Y | Y |\n| EED | Event Emission Deletion | ```emit Deposit(...)``` → ```/*emit Deposit(...)*/``` | Y | N |\n| EHD | Exception Handling Deletion | ```require(...)``` → ```/*require(...)*/``` | Y | N |\n| FVR | Function Visibility Replacement | ```function f() public``` → ```function f() private``` | N | Y |\n| GVR | Global Variable Replacement | ```msg.value()``` → ```tx.gasprice()``` | Y | Y |\n| MCR | Mathematical and Cryptographic
function Replacement | ```addmod``` → ```mulmod```
```keccak256``` → ```sha256``` | Y | Y |\n| MOD | Modifier Deletion | ```function f() onlyOwner``` → ```function f()``` | Y | Y |\n| MOI | Modifier Insertion | ```function f()``` → ```function f() onlyOwner``` | N | Y |\n| OMD | Overridden Modifier Deletion | ```modifier m() override {}``` → ``` ``` | Y | N |\n| PKD | Payable Keyword Deletion | ```function f() payable``` → ```function f()``` | Y | N |\n| RSD | Return Statement Deletion | ```return amount;``` → ```//return amount;``` | Y | N |\n| RVS | Return Values Swap | ```return (1, \"msg\", 100);``` → ```return (100, \"msg\", 1);``` | Y | Y |\n| SCD | Selfdestruct Call Deletion | ```selfdestruct();``` → ```//selfdestruct();``` | Y | N |\n| SFR | SafeMath Function Replacement | ```SafeMath.add``` → ```SafeMath.sub``` | Y | Y |\n| SCEC | Switch Call Expression Casting | ```Contract c = Contract(0x86C9...);``` → ```Contract c = Contract(0x67ED...); ``` | Y | N |\n| TOR | Transaction Origin Replacement | ```msg.sender``` → ```tx.origin``` | Y | N |\n| VUR | Variable Unit Replacement | ```wei``` → ```ether```
```minutes``` → ```hours``` | Y | Y |\n| VVR | Variable Visibility Replacement | ```uint private data;``` → ```uint public data;``` | N | Y |\n\n\n## Minimal Mutation Rules\nSome mutation operators foresee a **minimal** version:\n* The **extended** operators generate a more comprehensive set of mutants. These guarantee a more in-depth test adequacy assessment, but they can generate more than one replacement per target (e.g., \n```+``` is mutated in both ```-``` and ```*```), which can lead to longer execution times.\n* The **minimal** operators define simplified rules that only inject one replacement per target (e.g., ```+``` is mutated in ```-```), limiting the generation of subsumed mutants and speeding up the testing process.\n\nBy default, SuMo employs the **extended** operators. However, you can enable the minimal rules in the ```sumo-config.js``` file.\n","readmeFilename":"README.md"}