contracts-solidity/solidity/python/README.md at master · clevermacaw/contracts-solidity · GitHub

BancorFormula Contract Verification

Prerequisites

Installation

Following installation, yarn build should be executed once.

Verifying accuracy:

python RandomTestCross.py
python RandomTestFund.py
python RandomTestFundInv.py
python RandomTestLambertNeg1.py
python RandomTestLambertPos1.py
python RandomTestLambertPos2.py
python RandomTestLambertPos3.py
python RandomTestLiquidate.py
python RandomTestPower.py
python RandomTestPurchase.py
python RandomTestSale.py
python RandomTestTradeCC.py
python RandomTestTradeCPS.py
python RandomTestTradeFSC.py
python RandomTestTradeFSPS.py
python RandomTestTradeLPP.py
python RandomTestTradePS.py
python RandomTestTradePSC.py
python RandomTestTradeSP.py
python RandomTestVerifyCross.py
python RandomTestVerifyFund.py
python RandomTestVerifyFundInv.py
python RandomTestVerifyWeights.py

Verifying correctness:

python RunGanache.py (run in the background)
python EmulationExpTestCross.py
python EmulationExpTestFund.py
python EmulationExpTestFundInv.py
python EmulationExpTestLiquidate.py
python EmulationExpTestPurchase.py
python EmulationExpTestSale.py
python EmulationExpTestWeights.py
python EmulationUniTestCross.py
python EmulationUniTestFund.py
python EmulationUniTestFundInv.py
python EmulationUniTestLiquidate.py
python EmulationUniTestPurchase.py
python EmulationUniTestSale.py
python EmulationUniTestWeights.py

Verifying performance:

python RunGanache.py (run in the background)
python PerformanceExpTestCross.py
python PerformanceExpTestFund.py
python PerformanceExpTestFundInv.py
python PerformanceExpTestLiquidate.py
python PerformanceExpTestPurchase.py
python PerformanceExpTestSale.py
python PerformanceExpTestWeights.py
python PerformanceUniTestCross.py
python PerformanceUniTestFund.py
python PerformanceUniTestFundInv.py
python PerformanceUniTestLiquidate.py
python PerformanceUniTestPurchase.py
python PerformanceUniTestSale.py
python PerformanceUniTestWeights.py