1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
package hacking
import (
"strings"
"testing"
)
// Regression: round resolution (challenge and exact calls) passed an
// already-used strings.Builder BY VALUE into checkGameOver, panicking with
// "illegal use of non-zero Builder copied by value" on ordinary input — a
// forced challenge resolves on the very first bid. A panic here runs on the
// game owner goroutine, which has no recovery, so it terminated the server.
// See dev_guide/concurrency.md for the owner's no-recovery guarantee.
func TestLiarsDiceForcedChallengeDoesNotPanic(t *testing.T) {
g := NewLiarsDiceGame()
g.Init(1)
// An impossible bid deterministically forces an immediate AI challenge.
out, _, _ := g.HandleInput("bid 100 6")
if !strings.Contains(out, "Actual count") {
t.Fatalf("challenge output missing the reveal: %q", out)
}
if !strings.Contains(out, "You lose a fragment") && !strings.Contains(out, "System loses a fragment") {
t.Fatalf("challenge did not resolve a fragment loss: %q", out)
}
}
func TestLiarsDiceCallAndExactResolveWithoutPanic(t *testing.T) {
// Call path: bid, let the system raise, then challenge it.
g := NewLiarsDiceGame()
g.Init(1)
if out, _, _ := g.HandleInput("bid 2 3"); out == "" {
t.Fatal("opening bid produced no output")
}
if out, _, _ := g.HandleInput("call"); out == "" {
t.Fatal("call produced no output")
}
// Exact path: bid, let the system raise, then claim exact.
g = NewLiarsDiceGame()
g.Init(1)
if out, _, _ := g.HandleInput("bid 2 3"); out == "" {
t.Fatal("opening bid produced no output")
}
if out, _, _ := g.HandleInput("exact"); out == "" {
t.Fatal("exact produced no output")
}
}
func TestLiarsDiceFullLossGameResolvesWithoutPanic(t *testing.T) {
// Bid high enough that the system always calls and the player always
// loses a fragment, driving the game to its terminal resolution.
g := NewLiarsDiceGame()
g.Init(1)
for i := 0; i < 10; i++ {
out, done, won := g.HandleInput("bid 100 6")
if done {
if won {
t.Fatal("all-in losing bids cannot win")
}
return
}
if out == "" {
t.Fatal("round produced no output")
}
}
t.Fatal("game did not terminate within 10 forced-loss rounds")
}
|
