LWS logo
Service temporarily under maintenance, in read-only mode. Please come back later.
C++
4.8.1 (g++)
4.8.0 (g++)
4.7.3 (g++)
4.7.2 (g++)
4.6.4 (g++)
4.6.3 (g++)
3.2 (clang++)
13.0.1 (Intel)
C
4.8.1 (gcc)
4.8.0 (gcc)
4.7.3 (gcc)
4.7.2 (gcc)
4.6.4 (gcc)
4.6.3 (gcc)
3.2 (clang)
13.0.1 (Intel)
Python
3.3.0
2.7.3
1.9.0 (PyPy)
Ruby
2.0.0
1.9.3
JS
V8 (3.15.11)
SpiderMonkey (1.8.5)
PHP
5.4.6
Lua
5.2.1
2.0.0 (LuaJit)
Perl
Perl6 (2013.02.1)
5.14.2
C#
2.10 (mono)
F#
3.0 (mono)
Nemerle
1.1.1018.0 (mono)
Go
4.8.1 (GCCGo)
4.8.0 (GCCGo)
4.7.2 (GCCGo)
1.0.3 (GoogleGo)
Rust
0.6
0.5
D
v2 (gdc-4.6.3)
v2 (dmd-2.060)
Fortran
4.8.1 (GFortran)
4.8.0 (GFortran)
4.7.2 (GFortran)
Haskell
7.4.2
Lisp
2.49 (clisp)
1.1.12 (sbcl)
Code Snippets
Standard
iostream & main() without args & using namespace std
for-loop
calc (2.7)
calc (3.x)
Hello world
factorial
Hello world
echo
factorial
Hello world
Hello world
factorial
factorial
foreach
factorial
Hello world
factorial
Hello world
iostream & main() with args & using namespace std
iostream & main() with args
iostream & main() without args
stdio + stdlib & main() without args
stdio + stdlib & main() with args
try - catch
for-loop
ctor-dtor tracer
time measure
TypeName demangler
Fibonacci
Hello world
Hello world
factorial
Hello world
Hello world
ctor-dtor tracer with R-value ctor using boost.move
Hello world
factorial
perl-6 factorial
line: 0, col: 0 lines: 0 0 symbols
changes: 1
stdin data
exit code: 1 | execution time: 0.17
Compilation finished with warnings:
Compilation succeeded - 4 warning(s)
rning CS0219: The variable `testSolution' is assigned but its value is never used
source.cs(14,36): warning CS0649: Field `ConsoleApplication1.TheormProver.Constraints' is never assigned to, and will always have its default value `null'
source.cs(56,34): warning CS0414: The private field `ConsoleApplication1.TheormProver<T,U>.Selector' is assigned but its value is never used
source.cs(57,33): warning CS0414: The private field `ConsoleApplication1.TheormProver<T,U>.InternalTheorumProver' is assigned but its value is never used

stderr:

Unhandled Exception: System.ArgumentNullException: Argument cannot be null.
Parameter name: source
at System.Linq.Check.Source (System.Object source) [0x00000] in <filename unknown>:0
at System.Linq.Enumerable.ToList[Expression] (IEnumerable`1 source) [0x00000] in <filename unknown>:0
at ConsoleApplication1.TheormProver`1[<>__AnonType0`2[ConsoleApplication1.TheormProver,System.Func`2[System.Int32,System.Boolean]]].Select[<>__AnonType1`2] (System.Linq.Expressions.Expression`1 sel) [0x00000] in <filename unknown>:0
at ConsoleApplication1.Program.Main (System.String[] args) [0x00000] in <filename unknown>:0
[ERROR] FATAL UNHANDLED EXCEPTION: System.ArgumentNullException: Argument cannot be null.
Parameter name: source
at System.Linq.Check.Source (System.Object source) [0x00000] in <filename unknown>:0
at System.Linq.Enumerable.ToList[Expression] (IEnumerable`1 source) [0x00000] in <filename unknown>:0
at ConsoleApplication1.TheormProver`1[<>__AnonType0`2[ConsoleApplication1.TheormProver,System.Func`2[System.Int32,System.Boolean]]].Select[<>__AnonType1`2] (System.Linq.Expressions.Expression`1 sel) [0x00000] in <filename unknown>:0
at ConsoleApplication1.Program.Main (System.String[] args) [0x00000] in <filename unknown>:0