Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

13:56:28 Started by upstream project "afp-repo" build number 743


13:56:28 originally caused by:


13:56:28  Started by an SCM change


13:56:28 [EnvInject] - Loading node environment variables.


13:56:28 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/afp-repo-afp


13:56:28 [afp-repo-afp] $ hg showconfig paths.default


13:56:28 [afp-repo-afp] $ hg pull --rev default


13:56:28 pulling from http://isabelle.in.tum.de/repos/isabelle/


13:56:28 searching for changes


13:56:28 no changes found


13:56:28 [afp-repo-afp] $ hg update --clean --rev default


13:56:29 0 files updated, 0 files merged, 0 files removed, 0 files unresolved


13:56:29 [afp-repo-afp] $ hg log --rev . --template {node}


13:56:29 [afp-repo-afp] $ hg log --rev . --template {rev}


13:56:29 [afp] $ hg showconfig paths.default


13:56:29 [afp] $ hg pull --rev 6f7e4a635f290e205cdf88fb8668de806d5e55ba


13:56:30 pulling from https://bitbucket.org/isa-afp/afp-devel/


13:56:30 searching for changes


13:56:30 adding changesets


13:56:30 adding manifests


13:56:30 adding file changes


13:56:30 added 1 changesets with 1 changes to 1 files


13:56:30 (run 'hg update' to get a working copy)


13:56:30 [afp] $ hg update --clean --rev 6f7e4a635f290e205cdf88fb8668de806d5e55ba


13:56:30 1 files updated, 0 files merged, 0 files removed, 0 files unresolved


13:56:30 [afp] $ hg --config extensions.purge= clean --all


13:56:30 [afp] $ hg log --rev . --template {node}


13:56:30 [afp] $ hg log --rev . --template {rev}


13:56:30 [afp] $ hg id --branch


13:56:30 No emails were triggered.


13:56:31 [afp-repo-afp] $ /bin/sh -xe /tmp/hudson7365801151145438687.sh


13:56:31 + Admin/jenkins/run_build afp


13:56:31 + set -e


13:56:31 + PROFILE=afp


13:56:31 + shift


13:56:31 + bin/isabelle components -a


13:56:31 + bin/isabelle jedit -bf


13:56:31 ### Building Isabelle/Scala ...


13:57:41 ### Building Isabelle/jEdit ...


13:57:58 + bin/isabelle ci_build_afp


13:58:04 

13:58:04 === CONFIGURATION ===


13:58:04 

13:58:04 ISABELLE_BUILD_OPTIONS=""


13:58:04 

13:58:04 ML_PLATFORM="x86_64-linux"


13:58:04 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.6-1/x86_64-linux"


13:58:04 ML_SYSTEM="polyml-5.6"


13:58:04 ML_OPTIONS="-H 4000 --maxheap 8G"


13:58:04 

13:58:04 === BUILD ===


13:58:04 

13:58:04 Build started at Wed, 1 Mar 2017 12:58:04 GMT


13:58:04 Isabelle id b5bf76cf2b4e


13:58:04 AFP id 6f7e4a635f29


13:58:04 

13:58:04 === LOG ===


13:58:04 

13:58:05 Session Pure/Pure


13:58:05 Session HOL/HOL (main)


13:58:06 Session AFP/AVL-Trees (AFP)


13:58:06 Session AFP/AWN (AFP)


13:58:06 Session AFP/Abortable_Linearizable_Modules (AFP)


13:58:06 Session AFP/Abstract-Hoare-Logics (AFP)


13:58:06 Session AFP/Abstract-Rewriting (AFP)


13:58:06 Session AFP/Decreasing-Diagrams (AFP)


13:58:06 Session AFP/Decreasing-Diagrams-II (AFP)


13:58:06 Session AFP/Matrix (AFP)


13:58:06 Session AFP/Matrix_Tensor (AFP)


13:58:06 Session AFP/Knot_Theory (AFP)


13:58:06 Session AFP/Polynomials (AFP)


13:58:06 Session AFP/Groebner_Bases (AFP)


13:58:06 Session AFP/Abstract_Completeness (AFP)


13:58:06 Session AFP/Abstract_Soundness (AFP)


13:58:06 Session AFP/Allen_Calculus (AFP)


13:58:06 Session AFP/Automatic_Refinement (AFP)


13:58:07 Session AFP/Refine_Monadic (AFP)


13:58:07 Session AFP/Collections (AFP)


13:58:07 Session AFP/CAVA_Base (AFP)


13:58:07 Session AFP/CAVA_Automata (AFP)


13:58:07 Session AFP/DFS_Framework (AFP)


13:58:07 Session AFP/Gabow_SCC (AFP)


13:58:07 Session AFP/LTL_to_GBA (AFP)


13:58:07 Session AFP/CAVA_buildchain1 (AFP)


13:58:07 Session AFP/CAVA_buildchain3 (AFP)


13:58:07 Session AFP/CAVA_LTL_Modelchecker (AFP)


13:58:07 Session AFP/Promela (AFP)


13:58:07 Session AFP/Collections_Examples (AFP)


13:58:07 Session AFP/Dijkstra_Shortest_Path (AFP)


13:58:07 Session AFP/Formal_SSA (AFP)


13:58:07 Session AFP/Minimal_SSA (AFP)


13:58:07 Session AFP/Sepref_Prereq (AFP)


13:58:07 Session AFP/Refine_Imperative_HOL (AFP)


13:58:07 Session AFP/Sepref_Basic (AFP)


13:58:07 Session AFP/Sepref_IICF (AFP)


13:58:08 Session AFP/EdmondsKarp_Base (AFP)


13:58:08 Session AFP/EdmondsKarp_Maxflow (AFP)


13:58:08 Session AFP/Transitive-Closure (AFP)


13:58:08 Session AFP/Tree-Automata (AFP)


13:58:08 Session AFP/BinarySearchTree (AFP)


13:58:08 Session AFP/Binomial-Queues (AFP)


13:58:08 Session AFP/Bondy (AFP)


13:58:08 Session AFP/Bounded_Deducibility_Security (AFP)


13:58:08 Session AFP/BytecodeLogicJmlTypes (AFP)


13:58:08 Session AFP/CISC-Kernel (AFP)


13:58:08 Session AFP/CYK (AFP)


13:58:08 Session AFP/Card_Number_Partitions (AFP)


13:58:08 Session AFP/Case_Labeling (AFP)


13:58:08 Session AFP/Cauchy (AFP)


13:58:08 Session AFP/Sqrt_Babylonian (AFP)


13:58:08 Session AFP/Real_Impl (AFP)


13:58:08 Session AFP/Certification_Monads (AFP)


13:58:08 Session AFP/ClockSynchInst (AFP)


13:58:08 Session AFP/Coinductive_Languages (AFP)


13:58:08 Session AFP/Compiling-Exceptions-Correctly (AFP)


13:58:08 Session AFP/Completeness (AFP)


13:58:08 Session AFP/ComponentDependencies (AFP)


13:58:08 Session AFP/Concurrent_Ref_Alg (AFP)


13:58:08 Session AFP/Consensus_Refined (AFP)


13:58:08 Session AFP/CryptoBasedCompositionalProperties (AFP)


13:58:08 Session AFP/DPT-SAT-Solver (AFP)


13:58:08 Session AFP/DataRefinementIBP (AFP)


13:58:08 Session AFP/Dependent_SIFUM_Type_Systems (AFP)


13:58:08 Session AFP/Dependent_SIFUM_Refinement (AFP)


13:58:08 Session AFP/Depth-First-Search (AFP)


13:58:08 Session AFP/Derangements (AFP)


13:58:09 Session AFP/Discrete_Summation (AFP)


13:58:09 Session AFP/Card_Partitions (AFP)


13:58:09 Session AFP/DiskPaxos (AFP)


13:58:09 Session AFP/Elliptic_Curves_Group_Law (AFP)


13:58:09 *** No such file: "/media/data/jenkins/workspace/afp-repo-afp/afp/thys/Elliptic_Curves_Group_Law/Reflective_Field.thy"


13:58:09 *** The error(s) above occurred for theory "Reflective_Field" line 3 of "$ISABELLE_HOME/afp/thys/Elliptic_Curves_Group_Law/ROOT"


13:58:09 *** Incoherent imports for theory "Reflective_Field":


13:58:09 ***   "/media/data/jenkins/workspace/afp-repo-afp/src/HOL/Decision_Procs/Reflective_Field.thy" line 4 of "/media/data/jenkins/workspace/afp-repo-afp/afp/thys/Elliptic_Curves_Group_Law/Elliptic_Locale.thy"


13:58:09 ***   "/media/data/jenkins/workspace/afp-repo-afp/src/HOL/Decision_Procs/Reflective_Field.thy" line 4 of "/media/data/jenkins/workspace/afp-repo-afp/afp/thys/Elliptic_Curves_Group_Law/Elliptic_Axclass.thy"


13:58:09 ***   "/media/data/jenkins/workspace/afp-repo-afp/src/HOL/Decision_Procs/Reflective_Field.thy" line 3 of "$ISABELLE_HOME/afp/thys/Elliptic_Curves_Group_Law/ROOT"


13:58:09 ***   "/media/data/jenkins/workspace/afp-repo-afp/afp/thys/Elliptic_Curves_Group_Law/Reflective_Field.thy" line 4 of "/media/data/jenkins/workspace/afp-repo-afp/afp/thys/Elliptic_Curves_Group_Law/Elliptic_Locale.thy"


13:58:09 ***   "/media/data/jenkins/workspace/afp-repo-afp/afp/thys/Elliptic_Curves_Group_Law/Reflective_Field.thy" line 4 of "/media/data/jenkins/workspace/afp-repo-afp/afp/thys/Elliptic_Curves_Group_Law/Elliptic_Axclass.thy"


13:58:09 ***   "/media/data/jenkins/workspace/afp-repo-afp/afp/thys/Elliptic_Curves_Group_Law/Reflective_Field.thy" line 3 of "$ISABELLE_HOME/afp/thys/Elliptic_Curves_Group_Law/ROOT"


13:58:09 *** The error(s) above occurred in session "Elliptic_Curves_Group_Law" line 3 of "$ISABELLE_HOME/afp/thys/Elliptic_Curves_Group_Law/ROOT"


13:58:09 Build step 'Execute shell' marked build as failure


13:58:09 Archiving artifacts


13:58:51 Started calculate disk usage of build


13:58:51 Finished Calculation of disk usage of build in 0 seconds


13:58:51 Started calculate disk usage of workspace


13:58:52 Finished Calculation of disk usage of workspace in 0 seconds


13:58:52 No emails were triggered.


13:58:52 Finished: FAILURE