solidity/test/cmdlineTests/standard_model_checker_contracts_multi_source/input.json

{
	"language": "Solidity",
	"sources":
	{
		"Source":
		{
			"content": "// SPDX-License-Identifier: GPL-3.0
				pragma solidity >=0.0;
				contract B {
					function g(uint y) public pure {
						assert(y > 0);
					}
				}
				contract A is B {
					function f(uint x) public pure {
						assert(x > 0);
					}
				}"
		},
		"Source2":
		{
			"content": "// SPDX-License-Identifier: GPL-3.0
				pragma solidity >=0.0;
				import 'Source';
				contract C is A {
					function h(uint z) public pure {
						assert(z > 100);
					}
				}"
		}
	},
	"settings":
	{
		"modelChecker":
		{
			"engine": "all",
			"contracts":
			{
				"Source": ["A"], "Source2": ["C"]
			}
		}
	}
}