Starting the application
Install the following:
- NodeJS, 10.x
- MongoDB
- Git
- Java
- GCC
- NuXmv
The NuXmv tool is crucial to run the verification locally Note: If you are using the docker image to test locally, you MUST download the Linux version Extract the downloaded file and place the contents of the "bin" folder (nuXmv file) into the verification tools folder in the project
If this is the first time you are running the application run all the steps below. Otherwise, just run from step 4.
It is also possible to use a docker image to run right away (Recommended).
- Clone the repository:
git clone https://github.com/fcpranav/move-smart-contracts.git
- Install the necessary packages:
cd move-smart-contracts
npm install
- Build React Scripts
npm run-script build
- Start the local MongoDB server:
mkdir sc_data
mongod --dbpath ./sc_data
- Start the application:
npm start
- Visit the application on
http://127.0.0.1:8888/
Once you visit http://127.0.0.1:8888/, you will be asked to open a project. If none are available, click on "Create new...", give it a name, and click on "Create". The program will then ask you to base your project on a previous pre-defined project/seed, select "Move-Smart-Contract" (the default setting) and continue by clicking "Create".
Create a new project:
Creating an example project:
Choosing a seed:
In the initial screen, you can create elements based on the options in the left-hand panel under the Visualizer Selector.
Here is the example of the initial screen appearance:
Moving inside the "Contracts" element already on the board, you will see the predefined "auction" contract. Inside of this is the model for the smart contract we have built.
Auction contract:
Auction FSM model:
