
=========================================================
ALLOY ANALYZER STATE DUMP AT Wed Feb 20 00:22:42 EST 2002
=========================================================

Alloy build date:  Mon Feb 11 11:53:36 EST 2002 


	at alloy.transform.ExprAndTypeReplaceVisitor._getFormalMapping(ExprAndTypeReplaceVisitor.java:317)
	at alloy.transform.ExprAndTypeReplaceVisitor.<init>(ExprAndTypeReplaceVisitor.java:96)
	at alloy.transform.InvocationInlineVisitor.visit(InvocationInlineVisitor.java:266)
	at alloy.ast.InvocationFormula.acceptReturnVisitor(InvocationFormula.java:150)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.ast.ASTDepthFirstReplacer.visit(ASTDepthFirstReplacer.java:27)
	at alloy.ast.ASTDepthFirstReturnVisitor.visit(ASTDepthFirstReturnVisitor.java:222)
	at alloy.ast.Formulas.acceptReturnVisitor(Formulas.java:52)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.ast.ASTDepthFirstReplacer.visit(ASTDepthFirstReplacer.java:27)
	at alloy.ast.ASTDepthFirstReturnVisitor.visit(ASTDepthFirstReturnVisitor.java:216)
	at alloy.ast.FormulaSeq.acceptReturnVisitor(FormulaSeq.java:63)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.ast.ASTDepthFirstReplacer.visit(ASTDepthFirstReplacer.java:27)
	at alloy.ast.ASTDepthFirstReturnVisitor.visit(ASTDepthFirstReturnVisitor.java:210)
	at alloy.ast.ASTDepthFirstReturnVisitor.visit(ASTDepthFirstReturnVisitor.java:228)
	at alloy.ast.Function.acceptReturnVisitor(Function.java:82)
	at alloy.ast.TreeNode.applyReturnVisitor(TreeNode.java:294)
	at alloy.transform.InvocationInlineVisitor.inlineFunctionBodyInvocations(InvocationInlineVisitor.java:149)
	at alloy.api.AlloyRunner._performElaborations(AlloyRunner.java:357)
	at alloy.api.AlloyRunner._finishPreparation(AlloyRunner.java:209)
	at alloy.api.AlloyRunner.prepareSpec(AlloyRunner.java:195)
	at alloy.gui.AlloyGUI$8.construct(AlloyGUI.java:1081)
	at alloy.util.SwingWorker$2.run(SwingWorker.java:109)
	at java.lang.Thread.run(Thread.java:539)

Message: Fatal error!


------------------------------------------------------------
File: /home/int18/classes/6.898/ps1/othertry3.als
------------------------------------------------------------

module prob3

sig genSet[t] {w : genSet[t]}

sig Person {s : Person}

fun invertness [t]()
{
	all e: t -> t | t.e = ~e.t
//	all r: genSet[t] -> genSet[t] | genSet[t].r = ~r.genSet[t]
}

//fact 

fun test()
{
//	genSet[Person] = univ[genSet[Person]]
//	Person = univ[Person]

	invertness()
}

run test




#System properties
#Wed Feb 20 00:22:43 EST 2002
java.runtime.name=Java(TM) 2 Runtime Environment, Standard Edition
sun.boot.library.path=/usr/java/j2sdk1.4.0/jre/lib/i386
java.vm.version=1.4.0-beta2-b77
java.vm.vendor=Sun Microsystems Inc.
java.vendor.url=http\://java.sun.com/
path.separator=\:
java.vm.name=Java HotSpot(TM) Client VM
file.encoding.pkg=sun.io
user.country=US
sun.os.patch.level=unknown
java.vm.specification.name=Java Virtual Machine Specification
user.dir=/home/int18/classes/6.898/ps1
java.runtime.version=1.4.0-beta2-b77
java.awt.graphicsenv=sun.awt.X11GraphicsEnvironment
os.arch=x86
java.io.tmpdir=/tmp
line.separator=\n
java.vm.specification.vendor=Sun Microsystems Inc.
java.awt.fonts=
os.name=Linux
java.library.path=/usr/java/j2sdk1.4.0/jre/lib/i386/client\:/usr/java/j2sdk1.4.0/jre/lib/i386\:/usr/java/j2sdk1.4.0/jre/../lib/i386
java.specification.name=Java Platform API Specification
java.class.version=48.0
java.util.prefs.PreferencesFactory=java.util.prefs.FileSystemPreferencesFactory
os.version=2.4.9-12
user.home=/home/int18
user.timezone=America/New_York
java.awt.printerjob=sun.print.PSPrinterJob
file.encoding=ISO-8859-1
java.specification.version=1.4
java.class.path=/home/int18/classes/6.898/newalloy/alloy.jar
user.name=int18
java.vm.specification.version=1.0
java.home=/usr/java/j2sdk1.4.0/jre
sun.arch.data.model=32
user.language=en
java.specification.vendor=Sun Microsystems Inc.
java.vm.info=mixed mode
java.version=1.4.0-beta2
java.ext.dirs=/usr/java/j2sdk1.4.0/jre/lib/ext
sun.boot.class.path=/usr/java/j2sdk1.4.0/jre/lib/rt.jar\:/usr/java/j2sdk1.4.0/jre/lib/i18n.jar\:/usr/java/j2sdk1.4.0/jre/lib/sunrsasign.jar\:/usr/java/j2sdk1.4.0/jre/lib/jsse.jar\:/usr/java/j2sdk1.4.0/jre/lib/jce.jar\:/usr/java/j2sdk1.4.0/jre/lib/charsets.jar\:/usr/java/j2sdk1.4.0/jre/classes
java.vendor=Sun Microsystems Inc.
file.separator=/
java.vendor.url.bug=http\://java.sun.com/cgi-bin/bugreport.cgi
sun.io.unicode.encoding=UnicodeLittle
sun.cpu.endian=little
sun.cpu.isalist=

Free memory: 1606984
Total memory: 4194304

Args passed on command-line: 
=========================================================


