communities-contracts/specs.sh

if [[ "$1" ]]
then
  RULE="--rule $1"
fi

if [[ "$2" ]]
then
  MSG="- $2"
fi

certoraRun \
  ./contracts/CollectibleV1.sol \
  --verify CollectibleV1:./specs/CollectibleV1.spec \
  --packages @openzeppelin=lib/openzeppelin-contracts \
  --optimistic_loop \
  --loop_iter 3 \
  --rule_sanity \
  --send_only \
  $RULE \
  --msg "CollectibleV1: $RULE $MSG"
add setMaxSupply 2023-05-25 16:09:15 +00:00			`if [[ "$1" ]]`
			`then`
			`RULE="--rule $1"`
			`fi`

			`if [[ "$2" ]]`
			`then`
			`MSG="- $2"`
			`fi`

add specs 2023-05-17 21:15:45 +00:00			`certoraRun \`
refactor: move project to foundry template and introduce tests This commit does a couple of things: - moves the project to our foundry template structure and workflows - removes hardhat usage and dependencies - removes unused contracts - ports existing JS tests to foundry tests - adds additional tests for `CommunityERC20` contract - Introduces deploy scripts written in solidity which are also covered by tests The projects can now be build and tests with: ``` $ forge build ``` ``` $ forge test ``` Test deployments can be done via ``` $ forge script script/DeployOwnerToken.sol ``` 2023-08-28 11:27:47 +00:00			`./contracts/CollectibleV1.sol \`
			`--verify CollectibleV1:./specs/CollectibleV1.spec \`
			`--packages @openzeppelin=lib/openzeppelin-contracts \`
add setMaxSupply 2023-05-25 16:09:15 +00:00			`--optimistic_loop \`
			`--loop_iter 3 \`
			`--rule_sanity \`
			`--send_only \`
			`$RULE \`
			`--msg "CollectibleV1: $RULE $MSG"`