dcsimg
CodeGuru Home VC++ / MFC / C++ .NET / C# Visual Basic VB Forums Developer.com
Results 1 to 2 of 2

Thread: How to test the given code

  1. #1
    Join Date
    Jun 1999
    Posts
    504

    How to test the given code

    Hi,
    I read a research paper for verification and validation of solidity code. It uses F* (F-star). However, it has to convert the solidity code into F-star. I cant find the converter. Can some body please guide me how to manually test the code? Code is given below:
    Code:
      1.	contract MyBank {
    2.	mapping (address)==>uint) balances;
    3.	function Deposit() {
    4.	balances[msg.sender] += msg.value;
    5.	}|
    6.	function Withdraw(uint amount) {
    7.	if(balances[msg.sender] >=amount) {
    8.	msg.sender.send(amount);
    9.	balances[msg.sender] -= amount;
    10.	}
    11.	}
    12.	function Balance() constant returns(uint) {
    13.	return balances[msg.sender];
    14.	}
    A quick response is really appreciated.

    Zulfi.

  2. #2
    Join Date
    Jul 2018
    Posts
    1

    Re: How to test the given code

    You read it, or someone read it to you?

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •  


Windows Mobile Development Center


Click Here to Expand Forum to Full Width




On-Demand Webinars (sponsored)