Revision 8843af72fcf88e2bfd6f16dd95688ffc9d2c9db6 authored by keilr on 17 September 2014, 14:30:02 UTC, committed by keilr on 17 September 2014, 14:30:02 UTC
git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24784 e3db86c2-31ce-0310-bca5-be3edd1b5589
1 parent 324e37b
bootstrap.js
/*
* TreatJS: Higher-Order Contracts for JavaScript
* http://proglang.informatik.uni-freiburg.de/treatjs/
*
* Copyright (c) 2014, Proglang, University of Freiburg.
* http://proglang.informatik.uni-freiburg.de/treatjs/
* All rights reserved.
*
* Released under the MIT license
* http://proglang.informatik.uni-freiburg.de/treatjs/license
*
* Author Matthias Keil
* http://www.informatik.uni-freiburg.de/~keilr/
*/
// ___ ___ _ _ _ _ __ ___
//(_-</ _ \ || | '_/ _/ -_)
///__/\___/\_,_|_| \__\___|
// libraries
load("lib/lib_padding.js");
// base source files
load("src/out.js");
load("src/debugger.js");
load("src/treat.js");
load("src/treat.system.js");
load("src/treat.base.js");
load("src/treat.config.js");
// core api
load("src/core/treat.violation.js");
load("src/core/treat.sandbox.js");
load("src/core/treat.logic.js");
load("src/core/treat.callback.js");
load("src/core/treat.map.js");
load("src/core/treat.contract.js");
load("src/core/treat.assert.js");
load("src/treat.canonicalize.js");
// convenience api
load("src/treat.convenience.js");
// __ _ _ _
// __ ___ _ _ / _(_)__ _ _ _ _ _ __ _| |_(_)___ _ _
/// _/ _ \ ' \| _| / _` | || | '_/ _` | _| / _ \ ' \
//\__\___/_||_|_| |_\__, |\_,_|_| \__,_|\__|_\___/_||_|
// |___/
// set Contract
var Contract = TreatJS.build();
TreatJS.export(this);
//TreatJS.integrate();
// set configuration
TreatJS.configure({
assertion:true,
membrabe:true,
decompile:true,
canonicalize: true
});
// set verbose
TreatJS.verbose({
assert:true,
sandbox:false
});
// _ _
// __ ___ _ _| |_ _ _ __ _ __| |_ ___
/// _/ _ \ ' \ _| '_/ _` / _| _(_-<
//\__\___/_||_\__|_| \__,_\__|\__/__/
load("contracts/contracts.js");
load("contracts/aliases.js");
// ==================================================
// ...
// ==================================================
quit();
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...